Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Trouble with CDGA's with One Generator

Hi all, I've been using the functions associated with the GCAlgebra class to compute some minimal models for given cohomology algebras. It works fine whenever my cohomology algebra has 2 or more generators, but I can't get it to accept a single generator. I am trying, for example:

D.<x> = GradedCommutativeAlgebra(QQ, degrees = (2,)) d = D.differential({x:0,}) D = D.cdg_algebra(d) I = D.ideal(x^3) R = D.quotient(I)

It always fails on the quotient, the objection is that " 'homomorphisms of graded commutative ' 1325 'algebras have only been implemented ' 1326 'when the base rings are the same' "

I don't get it, pretty printing all objects shows they are all over the rational field. I did figure out that you need a comma to define a single-element tuple otherwise you get "not iterable" errors, but I think that's solved now. Any ideas?

To contrast, something like this runs fine:

D.<x,y> = GradedCommutativeAlgebra(QQ, degrees = (2,2)) d = D.differential({x:0, y:0}) D = D.cdg_algebra(d) I = D.ideal([x^2-y^2,x*y,x^3,y^3]) R = D.quotient(I)

Note: it doesn't help to change D.ideal(x^3) to D.ideal([x^3]) or D.ideal([x^3,])...I thought maybe it expected a tuple. I've also seen examples where things like ideal(x^3) are written, so that shouldn't be an issue.

Thanks, Russ

Trouble with CDGA's with One Generator

Hi all, I've been using the functions associated with the GCAlgebra class GCAlgebra class to compute some minimal models for given cohomology algebras. algebras. It works fine whenever my cohomology algebra has 2 or more generators, generators, but I can't get it to accept a single generator. I am trying, for example:

D.<x> = GradedCommutativeAlgebra(QQ, degrees = (2,))
d = D.differential({x:0,})
D = D.cdg_algebra(d)
I = D.ideal(x^3)
R = D.quotient(I)

D.quotient(I)

It always fails on the quotient, the objection is that " that

   1324                               'homomorphisms of graded commutative '
   1325                               'algebras have only been implemented '
   1326                               'when the base rings are the same' "

"

I don't get it, pretty printing all objects shows they are all over the rational field. field. I did figure out that you need a comma to define a single-element tuple otherwise otherwise you get "not iterable" errors, but I think that's solved now. Any ideas?

To contrast, something like this runs fine:

D.<x,y> = GradedCommutativeAlgebra(QQ, degrees = (2,2))
d = D.differential({x:0, y:0})
D = D.cdg_algebra(d)
I = D.ideal([x^2-y^2,x*y,x^3,y^3])
R = D.quotient(I)

D.quotient(I)

Note: it doesn't help to change D.ideal(x^3) to D.ideal([x^3]) D.ideal(x^3) to D.ideal([x^3]) or D.ideal([x^3,])...I D.ideal([x^3,])... I thought maybe it expected a tuple. I've also seen examples where things like ideal(x^3) ideal(x^3) are written, so that shouldn't be an issue.

Thanks, Russ