#21108: Use flattening in quo_rem
-------------------------------------+-------------------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.3
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vdelecroix/21108 | d9afab6ae091a5018cd938831d22f117a61284e9
Dependencies: #21106 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by vdelecroix):
* status: new => needs_review
* commit: => d9afab6ae091a5018cd938831d22f117a61284e9
* cc: bhutz (added)
* branch: => u/vdelecroix/21108
Old description:
> Using the flattening morphism from #21106 we can divide more polynomials!
New description:
Using the flattening morphism from #21106 we can divide more polynomials!
With the branch applied the following works
{{{
sage: R = QQ['a','b']['c','d']
sage: R('(a*b+1)*c + c^2').quo_rem(R('c'))
(c + a*b + 1, 0)
}}}
However, will persist a discrepency between `QQ['a']['b']['c']` and
`QQ['a','b','c']` when the division is not exact.
{{{
sage: R1 = QQ['a']['b']['c']
sage: R2 = QQ['a','b','c']
sage: R1('a').quo_rem(R1('b'))
Traceback (most recent call last):
...
ArithmeticError: Division non exact (consider coercing
to polynomials over the fraction field)
sage: R2('a').quo_rem(R2('b'))
(0, a)
}}}
--
Comment:
New commits:
||[https://git.sagemath.org/sage.git/commit?id=cf97fed2b1dba25909f952e899e2256a87b092d5
cf97fed]||{{{21106: create polynomial ring flattening class}}}||
||[https://git.sagemath.org/sage.git/commit?id=957589f9db22ccd6acddb1f6c5bb4c217b7be1d8
957589f]||{{{21106: minor fixes}}}||
||[https://git.sagemath.org/sage.git/commit?id=8c22f750a6903a284a27a19f871fd93e5a875343
8c22f75]||{{{21106: new version of _call_}}}||
||[https://git.sagemath.org/sage.git/commit?id=570d9ee1380519d3c34d92c6ec329d9f1b6b36e4
570d9ee]||{{{21106: added doc tests}}}||
||[https://git.sagemath.org/sage.git/commit?id=f05f7db9f9e31697cb2be98b2cf31533a44e09e2
f05f7db]||{{{21106:cleaning}}}||
||[https://git.sagemath.org/sage.git/commit?id=6e50942b495292f7301d772717f29877bdcffe1a
6e50942]||{{{21106: change file mode}}}||
||[https://git.sagemath.org/sage.git/commit?id=19cb1719e166126f6ffd8d8a9b33c2262b252851
19cb171]||{{{21106: Python3 compatibility + more cleaning}}}||
||[https://git.sagemath.org/sage.git/commit?id=d7b066df46151c67f45949c523b1a2014c33b5ba
d7b066d]||{{{21108: method flattening_morphism}}}||
||[https://git.sagemath.org/sage.git/commit?id=d9afab6ae091a5018cd938831d22f117a61284e9
d9afab6]||{{{21108: use flattening in quo_rem}}}||
--
Ticket URL: <https://trac.sagemath.org/ticket/21108#comment:1>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
