search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.33k stars 453 forks source link

MPComplexField should be a commutative ring and it is not! #19268

Open monien opened 8 years ago

monien commented 8 years ago

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.

CC: @jdemeyer

Component: categories

Keywords: MPCComplexField

Issue created by migration from https://trac.sagemath.org/ticket/19268

monien commented 8 years ago

Description changed:

--- 
+++ 
@@ -2,7 +2,7 @@

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

monien commented 8 years ago

Description changed:

--- 
+++ 
@@ -23,3 +23,4 @@

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

+