ronno's profile - activity

Thanks, I guess I should have verified the claim "Most major Linux distributions have up-to-date versions of SageMath" i

I can confirm that the code works fine on sage 10.1 built from source

@FredericC 9.5-6 from the Ubuntu repositories, running on WSL.

@JohnPalmieri Extremely late response but I want to be able to compute the trace of an endomorphism of a cdga on the coh

graded_commutative_algebra or GradedCommutativeAlgebra is too long to be a tag, and I couldn't find an alternative. Plea

Differentials on quotient CDGAs The following code throws a ValueError("The given dictionary does not determine a valid

Why does the following throw a TypeError: images do not define a valid homomorphism?

E = GradedCommutativeAlgebra(QQ,'x,y',degrees=(1,1))
E.inject_variables()
f = E.hom([x,y])

I expected it to define $f$ to be the identity homomorphism of $E$. What is the right way to define a homomorphism of $E$? I'm more interested in the one that switches $x$ and $y$ than the identity homomorphism, but this seemed a more obvious version of the question.

Following the documentation on Commutative Differential Graded Algebras, I have defined a differential graded algebra $C$. I have some element $x \in C$, in degree $4$. I can get a basis for the cohomology at degree 4 by

C.cohomology(4)

and generators for cocycles and coboundaries by

C.cocycles(4)
C.coboundaries(4)

How do I check if $x$ is a cocycle, and if it is, what it is in terms of the basis of the cohomology above?

I'm not sure I used the right tags, feel free to edit.