Opened 6 years ago

Last modified 6 years ago

#19268 new defect

MPComplexField should be a commutative ring and it is not!

Reported by: hmonien Owned by:
Priority: major Milestone: sage-6.9
Component: categories Keywords: MPCComplexField
Cc: jdemeyer Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by hmonien)

Even though

sage: MPC = MPComplexField(128)
sage: MPC.is_commutative()
True

MPC is not in commutative rings:

sage: MPC = MPComplexField(128)

sage: P.<x> = PolynomialRing(ZZ, 'x')
sage: p = x^3-5*x+1

sage: p.change_ring(MPC)

gives an error

TypeError: Base ring Complex Field with 128 bits of precision must be a commutative ring.

Change History (4)

comment:1 Changed 6 years ago by hmonien

  • Description modified (diff)

comment:2 Changed 6 years ago by hmonien

  • Cc J.Demeyer@… added

comment:3 Changed 6 years ago by hmonien

  • Cc http://trac.sagemath.org/sage_trac/search?noquickjump=1&ticket=on&wiki=on&q=jdemeyer added; J.Demeyer@… removed

comment:4 Changed 6 years ago by hmonien

  • Cc jdemeyer added; http://trac.sagemath.org/sage_trac/search?noquickjump=1&ticket=on&wiki=on&q=jdemeyer removed
  • Description modified (diff)
Note: See TracTickets for help on using tickets.