#5724: [with patch; positive review] get coverage of quotient_ring_element.py to
100%
---------------------------------+------------------------------------------
Reporter: was | Owner: malb
Type: defect | Status: closed
Priority: major | Milestone: sage-3.4.1
Component: commutative algebra | Resolution: fixed
Keywords: |
---------------------------------+------------------------------------------
Comment(by was):
> 1. Do these quotient ring elements really only
> work for multiple-variable polynomial rings? That is a
> pity. I have tried working in quotients R/I where R is ...
The intention was definitely that they work for any commutative ring for
which there are algorithms to do some basic things with ideals (e.g., test
membership). This may not work well in practice right now.
> Although there are now lots of examples/tests, a lot of functions
> still lack the one-line description. (e.g. _integer_(), what is
> that supposed to do? I don't believe that there is a sensibly
> canonical map from any quotient ring to ZZ!).
All I did was add doctests. Describing what all the functions do is much
more work yet.
Regarding _integer_, that is *NOT* used for canonical maps. It's used for
forced coercion, e.g., ZZ(alpha).
William
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5724#comment:9>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
