2019-03-19 08:15:36 +0200 | received badge | ● Student (source) |
2019-03-18 23:14:06 +0200 | asked a question | Unexpected result: quotient of algebra of free monoid by ideal I'm hoping to use SAGE to calculate some asymptotic results in a larger problem. Along the way, I ran into some unexpected behavior. In the minimal example below, I am trying to create a simple FreeMonoid and expand it to an Algebra where the following constraint holds: a^2 - 1 == 0. This returns False, and looks like it may be related to an older bug (trac ticket 24808; can't post link b/c new user with low karma). I'm using SageMath version 8.5. It's quite possible I'm doing something bone-headed; I haven't thought about abstract algebra in over a decade. Any suggestions would be helpful! Thanks, Dustin |