#17417: symbolic modulo
---------------------------+---------------------------------
Reporter: rws | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.5
Component: symbolics | Keywords: mod, function
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
---------------------------+---------------------------------
There is currently no way to specify and simplify symbolic expressions
modulo another symbolic expression. While `Mod` takes only numerics, the
automatic simplification done by `ex.mod()` is not right because the
expected result would be either `x` (for `x` integer) or
`-3*floor(x^3/3)+x^3` (else).
{{{
sage: assume(x, "integer")
sage: (x^3).mod(3)
x^3
sage: (x^3).mod(3,hold=True)
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
<ipython-input-38-d8e5ba2bdd31> in <module>()
----> 1 (x**Integer(3)).mod(Integer(3),hold=True)
TypeError: mod() takes no keyword arguments
}}}
There may be Maxima functions for this but, if so, they aren't used by
Sage.
Brought up in http://ask.sagemath.org/question/25037/declaring-variable-
to-be-in-a-particular-fieldringgroup/
--
Ticket URL: <http://trac.sagemath.org/ticket/17417>
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.
