Chow

[sorger-c]

CC: @fchapoton

Component: algebraic geometry

Author: Christoph Sorger

Branch/Commit: public/ticket-chow @ f263ba5

Issue created by migration from https://trac.sagemath.org/ticket/27228

[sorger-c]

Author: Christoph Sorger

[sorger-c]

Branch: u/gh-sorger-c/chow

[sorger-c]

New commits:

8102668

Added the package Chow, a library for computations in intersection theory.

[sorger-c]

Commit: 8102668

[sagetrac-git]

Changed commit from 8102668 to 06f8480

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

06f8480

The package has been updated to work with version 8.7 of Sage.

[embray]

comment:7

Ticket retargeted after milestone closed (if you don't believe this ticket is appropriate for the Sage 8.8 release please retarget manually)

[embray]

comment:8

As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

48d6a43	Added the package Chow, a library for computations in intersection theory.
a58edec	The package has been updated to work with version 8.7 of Sage.
b5769ac	Updated to Python3. Works with Sage 9.0
23c70fc	Merge branch 'u/gh-sorger-c/chow' of git://trac.sagemath.org/sage into t/27228/chow

[sagetrac-git]

Changed commit from 06f8480 to 23c70fc

[fchapoton]

comment:10

Salut Christoph,

• petite suggestion, dans la definition de la fonction todd(), eviter d'utiliser l'anneau symbolique SR, mais utiliser soit directement les nombres de Bernoulli, soit l'anneau des series formelles

sage: x = PowerSeriesRing(QQ,'x', default_prec=24).gen().O(24)
sage: x/(1-exp(x))
-1 + 1/2*x - 1/12*x^2 + 1/720*x^4 - 1/30240*x^6 + 1/1209600*x^8 - 1/47900160*x^10 + 691/1307674368000*x^12 - 1/74724249600*x^14 + 3617/10670622842880000*x^16 - 43867/5109094217170944000*x^18 + 174611/802857662698291200000*x^20 - 77683/14101100039391805440000*x^22 + O(x^23)

• peut-etre que ca serait bien de mettre ton package sous la forme d'un package python, plus facile à installer pour les gens. Je ne suis pas un expert dans ce genre de chose, mais il y a des instructions ici, qui pèsent le pour et le contre:

https://wiki.sagemath.org/CodeSharingWorkflow

https://gist.github.com/cswiercz/c632d920565a2da519b73bd2b79d7920

https://github.com/sagemath/sage_sample

[sorger-c]

comment:11

Salut Frédéric,

Merci pour les deux suggestions. Je vais regarder comment éviter l'utilisation de SR, peut-être avec l'anneau des séries formelles ou, effectivement, le faire directement via les nombres de Bernoulli.

En ce qui concerne le packaging, oui, c'est une piste à suivre, merci pour les liens! On me demande parfois comment installer chow et la forme actuelle d'une branche est un peu compliquée pour les collègues qui n'ont pas l'habitude de git. Aussi il faut compiler sage ce qui est délicat parfois (je n'ai pas réussi à compiler la branche develop aujourd'hui sur mon Mac, puisque pynac et matplotlib bloquaient) et surtout très long... Je vais regarder sage_sample plus en détail (et les remarques de Nicolas sur le workflow).

Là aujourd'hui, j'ai juste voulu rendre la branche compatible avec Sage 9.0 et Python3. Ce n'était pas très difficile, essentiellement quelques imports, l'utilisation de basestring et une division a/b à modifier. Au moins, tous les tests passent à nouveau.

[jhpalmieri]

comment:12

See https://math.stackexchange.com/questions/4574286/sage-chow-package-install-merge-error: the branch no longer merges cleanly.

[fchapoton]

Changed branch from u/gh-sorger-c/chow to public/ticket-chow

[fchapoton]

Changed commit from 23c70fc to 66676ed

[fchapoton]

New commits:

66676ed

Merge branch 'u/gh-sorger-c/chow' in 9.8.b3

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

5d6eb80	Merge branch 'develop' into t/27228/public/ticket-chow
f263ba5	Works with 9.8.beta6

[sagetrac-git]

Changed commit from 66676ed to f263ba5

[giannipetrella]

Is someone working on finishing this integration? An intersection theory interface would be a pretty important feature for algebraic geometry, and it'd be nice for Chow to ship directly with Sage...
I’d be happy to take on this task myself if not :)