#16540: Regression in Pari finite field interface
------------------------------------------------+------------------------
Reporter: defeo | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.3
Component: finite rings | Resolution:
Keywords: finite_field regression pari | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
------------------------------------------------+------------------------
Comment (by defeo):
Replying to [comment:1 jdemeyer]:
> Do you agree that the correct behaviour is a `ValueError`?
I agree that mathematically the operation does not make sense, unless the
modulus is equal to the order of the element (but computing it would be
overkill in my opinion) or a multiple (the only reasonable one being
cardinality - 1).
Now, if we want to raise a `ValueError`, this is not a Pari issue anymore:
it is a huge issue in basically any component of Sage!
{{{
sage: 3^Zmod(3)(2)
9
sage: GF(101)(2)^Zmod(3)(2)
4
sage: QQ['x'].gen()^Zmod(3)(2)
x^2
sage: i^Zmod(3)(2)
-1
sage: AbelianGroup([10])[1]^Zmod(3)(2)
f^2
}}}
etc...
--
Ticket URL: <http://trac.sagemath.org/ticket/16540#comment:4>
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/d/optout.
