-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi all,
Martin Albrecht brought up the following issue, in relation to
http://trac.sagemath.org/sage_trac/ticket/2634
"I am not convinced that it is actually desired to allow 0 generators
for multivariate polynomial rings. We allowed that before and thus I
reintroduced that behaviour but I would like to get rid of it: It will
be a no fun to support once the generic multivariate polynomials get
closer to C and I don't see the point."
I'm not sure whether the pun at the end of the quote was intended or
not. But we definitely want to be able to work with zero-dimensional
schemes (points), e.g. A0 = AffineSpace(ZZ, 0, 'a'). As far as I can
tell, the trouble comes up only in A0.coordinate_ring(), which currently
looks at this as a multivariate polynomial ring in zero variables. I
think we can just make coordinate_ring() return the base ring in the
case of dimension zero, and this would allow Martin to get rid of
zero-variable ring.
Thoughts?
Best,
Alex
- --
Alexandru Ghitza
Assistant Professor
Department of Mathematics
Colby College
Waterville, ME 04901
http://bayes.colby.edu/~ghitza/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFH5xbndZTaNFFPILgRAhRBAJ953dtdZWJOj5wRnu9IrQiZfPpLtgCeLs4v
NYcnKo4t3u1hci77x++SG6Y=
=OrNC
-----END PGP SIGNATURE-----
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
