#12217: Finite field polynomials allow division by zero
------------------------------------+------------------------------
Reporter: johanbosman | Owner: AlexGhitza
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.13
Component: basic arithmetic | Resolution:
Keywords: | Merged in:
Authors: Peter Bruin | Reviewers: Jeroen Demeyer
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
------------------------------------+------------------------------
Comment (by pbruin):
Replying to [comment:9 jdemeyer]:
> I think you should add an error message
Hmm. For the finite field inversion I really like
{{{
ZeroDivisionError: division by zero in Finite Field in a of size 5^2
}}}
so I'll add this.
As for the error message when trying to do ''x''/0, what fails here is
strictly speaking not a division inside the fraction field, but trying to
construct a fraction (from two elements of the polynomial ring) whose
denominator is 0. This is basically an implementation detail, though.
In any case, the existing "fraction field element division by zero" sounds
awkward to me. At the moment I'm undecided between three possibilities:
{{{
ZeroDivisionError: fraction has denominator 0
ZeroDivisionError: division by zero in Univariate Polynomial Ring over
Finite Field in a of size 5^2
ZeroDivisionError: division by zero in Fraction Field of Univariate
Polynomial Ring over Finite Field in a of size 5^2
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/12217#comment:10>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
