#13186: Equality of Factorizations
-----------------------------+----------------------------------------------
   Reporter:  caruso         |             Owner:  tbd                   
       Type:  defect         |            Status:  new                   
   Priority:  minor          |         Milestone:  sage-5.1              
  Component:  factorization  |          Keywords:  equality factorization
Work issues:                 |   Report Upstream:  N/A                   
  Reviewers:                 |           Authors:                        
  Merged in:                 |      Dependencies:                        
   Stopgaps:                 |  
-----------------------------+----------------------------------------------
 Currently, two Factorization object are considered to be equal if they
 have the same value, but a Factorization object is not equal to its value:

 {{{
 sage: P.<x> = QQ[]
 sage: a = x+1; b = x+2; c = x+3
 sage: F = Factorization([(a,1),(b,1),(c,1)]); F
 (x + 1) * (x + 2) * (x + 3)
 sage: F1 = Factorization([(a*b,1),(c,1)]); F1
 (x + 3) * (x^2 + 3*x + 2)
 sage: F2 = Factorization([(a,1),(b*c,1)]); F2
 (x + 1) * (x^2 + 5*x + 6)
 sage: F == F1
 True
 sage: F == F2
 True
 sage: F1 == F2
 True
 sage: F == a*b*c
 False
 }}}

 Is this normal? (It seems to me really weird.)

 PS: Am I supposed to ask this kind of questions here or is there a better
 place?

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13186>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to