Opened 12 years ago

Closed 12 years ago

#1804 closed defect (fixed)

[with patch, positive review] Factorization.__mul__ assumes that the primes in the factorization commute, which may not be a valid assumption

Reported by: was Owned by: somebody
Priority: major Milestone: sage-2.10.1
Component: basic arithmetic Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

This is LAME:

sage: R.<x,y> = FreeAlgebra(QQ, 2)
sage: F = Factorization([(x,3), (y,2)]); F
x^3 * y^2
sage: F*F
x^6 * y^4

Attachments (1)

ncalexan-1804.patch (8.1 KB) - added by ncalexan 12 years ago.

Download all attachments as: .zip

Change History (5)

comment:1 Changed 12 years ago by was

Same comments apply to invert in the file factorization.py.

sage: R.<x,y> = FreeAlgebra(QQ, 2)
sage: F = Factorization([(x,3), (y,2)]); F
x^3 * y^2
sage: F^(-1)
x^-3 * y^-2

Changed 12 years ago by ncalexan

comment:2 Changed 12 years ago by ncalexan

  • Summary changed from Factorization.__mul__ assumes that the primes in the factorization commute, which may not be a valid assumption to [with patch, needs review] Factorization.__mul__ assumes that the primes in the factorization commute, which may not be a valid assumption

comment:3 Changed 12 years ago by mhansen

  • Summary changed from [with patch, needs review] Factorization.__mul__ assumes that the primes in the factorization commute, which may not be a valid assumption to [with patch, positive review] Factorization.__mul__ assumes that the primes in the factorization commute, which may not be a valid assumption

Looks good to me.

comment:4 Changed 12 years ago by mabshoff

  • Resolution set to fixed
  • Status changed from new to closed

Merged in Sage 2.10.1.alpha1

Note: See TracTickets for help on using tickets.