Ask Your Question

cgodfrey's profile - activity

2022-05-21 23:59:59 +0100 edited question Image of finitely generated group through an injective homomorphism

Image of finitely generated group through an injective homomorphism I'm doing some work with knot theory, and as a part

2022-05-21 23:58:11 +0100 asked a question Image of finitely generated group through an injective homomorphism

Image of finitely generated group through an injective homomorphism I'm doing some work with knot theory, and as a part

2022-03-10 18:48:31 +0100 commented question Conflict between generators in different groups with the same name

@rburing I added an example, hopefully that helps clear up what I'm trying to do.

2022-03-10 18:47:38 +0100 edited question Conflict between generators in different groups with the same name

Conflict between generators in different groups with the same name I wrote a relatively simple implementation of the Sei

2022-03-10 07:19:47 +0100 received badge  Nice Question (source)
2022-03-10 05:26:31 +0100 asked a question Conflict between generators in different groups with the same name

Conflict between generators in different groups with the same name I wrote a relatively simple implementation of the Sei

2021-08-15 03:52:00 +0100 edited question How to properly implement free product with amalgamation

How to properly implement the Seifert-van Kampen Theorem Say I have a group G, and homomorphisms from G to H and K. I wa

2021-08-15 03:51:56 +0100 received badge  Editor (source)
2021-08-15 03:51:56 +0100 edited question How to properly implement free product with amalgamation

How to properly implement the Seifert-van Kampen Theorem Say I have a group G, and homomorphisms from G to H and K. I wa

2021-08-15 03:37:18 +0100 asked a question How to properly implement free product with amalgamation

How to properly implement the Seifert-van Kampen Theorem Say I have a group G, and homomorphisms from G to H and K. I wa

2021-08-14 22:46:46 +0100 asked a question How to map words on generators between Free Groups

How to map words on generators between Free Groups I'm trying to implement a specific case of the Seifert-van Kampen the

2021-08-08 03:10:27 +0100 marked best answer Why is .groebner_basis only defined for a LaurentPolynomialRing on two or more generators?

If I run the code

Q.<x> = LaurentPolynomialRing(QQ)
I = Q.ideal([x - x^-1 + x^2])
print(I.groebner_basis())

I get the error: TypeError: unable to convert Univariate Laurent Polynomial Ring in x over Rational Field to a rational. But if I change it to Q.<x,y> or Q.<x,y,z>, it works fine and is able to print a Groebner basis. On the documentation page, it seems like it would map to the ring Q[x1,x2]/(x1x2-1) and find a Groebner basis there, but I don't see any reason why this would fail but Q[x1, x2, x3, x4]/(x1x2-1, x3x4-1) would succeed.

2021-08-08 03:10:27 +0100 received badge  Scholar (source)
2021-08-08 03:10:26 +0100 received badge  Supporter (source)
2021-08-07 17:14:58 +0100 received badge  Nice Question (source)
2021-08-05 23:04:26 +0100 received badge  Student (source)
2021-08-05 23:03:08 +0100 asked a question Why is .groebner_basis only defined for a LaurentPolynomialRing on two or more generators?

Why is .groebner_basis only defined for a LaurentPolynomialRing on two or more generators? If I run the code Q.<x>