On Jun 23, 12:34 pm, davidloeffler <[email protected]> wrote:
> In the third one, try using the polynomial quotient ring with modulus
> x^2 + x + 1; the reason you aren't getting the output you expect is
> because x^3 - 1 is reducible over QQ, and QQ[x] / (x^3 - 1) isn't an
> integral domain. See below.
Thanks. Ironically, I of course used that x^2+x+1 = 0 to do this by
hand, but I guess the quotient rings aren't "aware" of their zero-
divisors.
> (Or you could use number field arithmetic; Sage has a special
> optimised set of routines specifically for doing linear algebra over
> cyclotomic fields.)
I probably won't need the optimized part, but that will probably be
better than just trying symbolic or CC matrices - what I really want
is the nice-looking end result recognizing zero as zero and 1 as 1,
because I already know the outcome of the computation. Thanks also
for that suggestion.
- kcrisman
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
