#11126: Symbolic Ring is_integral_domain() throws exception
------------------------------------+---------------------------------------
Reporter: duenez | Owner: burcin
Type: defect | Status: needs_review
Priority: major | Milestone:
sage-duplicate/invalid/wontfix
Component: symbolics | Resolution:
Keywords: symbolics matrix | Work issues:
Report Upstream: N/A | Reviewers:
Authors: duenez | Merged in:
Dependencies: | Stopgaps:
------------------------------------+---------------------------------------
Comment (by duenez):
I am a bit confused... It seems to me you are suggesting that I should
simply accept that sage might refuse to perform symbolic calculations when
solving systems of linear equations... or worse yet, perform them and be
wrong. Also, I should just deal with it if it doesn't work like I want.
If this is not what you meant, I apologize, but if it is, I think you are
having a very alienating attitude towards your user-base. Sure, one has to
be thankful for what one receives for free. I appreciate sage so very
much. But to tell me to "suck it up" is hardly the way. Is it really that
unreasonable to ask for some intelligent discussion about the
implementation, definition and use of the symbolic ring?
If you ask me, you either split symbolics into symbolic group, ring,
field, etc., or decide to be as permissive as possible with the operations
that you are allowing and shift the responsibility into the user. Ideally
you would expose which assumptions were used, or which assumptions should
be used when performing a symbolic calculation.
Regards,
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11126#comment:5>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
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.
