#13186: Equality of Factorizations
------------------------------------------+-------------------------
Reporter: caruso | Owner: tbd
Type: defect | Status: new
Priority: minor | Milestone: sage-5.12
Component: factorization | Resolution:
Keywords: equality factorization | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
------------------------------------------+-------------------------
Comment (by chapoton):
Well, one must choose the meaning of equality.
One precise meaning would be
- a factorisation is made of a unit and a set/list of factors
- two factorisations are equal if they have the same unit and the same
factors (up to order maybe)
Another possible solution would be to consider the unit as just any other
factor. I do no like this solution, and I prefer the previous (current)
behavior
If you want, you can maybe ask for opinions on sage-devel.
Something else: I have just thought that it would sometimes be good to
separate factors in the center of the ring (commuting) and other factors,
and to implement "partially commutative factorisations". But this is
something for the wishlist.
--
Ticket URL: <http://trac.sagemath.org/ticket/13186#comment:8>
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.
