#5429: Change the QuadraticForm base_ring to only define the equivalence, but
not
the ring for coefficients/values
-------------------------+--------------------------------------------------
Reporter: jonhanke | Owner: tbd
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.4.1
Component: algebra | Keywords:
-------------------------+--------------------------------------------------
It is sometimes inconvenient to require that all quadratic_forms take
values in their ring of equivalence. This should be separated out into
two parts, a coefficient_ring and an equivalence_ring.
Perhaps for ease of tab-completion these should be called ring_* instead
of *_ring? Also, coefficient_ring could equally well be called
value_ring, though that may be more confusing to find for the average
user.
Calls to the base_ring() method should almost everywhere be replaced by
calls to equivalence_ring(), with the notable exception of the
constructor.
The default constructor would take only one ring, which would be the
equivalence ring, and the inferred coefficient ring would be the fraction
field/object of the given ring.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5429>
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
-~----------~----~----~----~------~----~------~--~---
