-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Simon King wrote: > Dear Thomas, > > On Dec 3, 10:58 am, Thomas Kahle <[EMAIL PROTECTED]> wrote: >>>> matrix(std(quotient(J,x3))) == matrix(std(J)); >>> 0 >> On my computer this line gives 1, and I am quite sure that this is correct. > - --snip-- >> matrix(std(quotient(I,x3))) == matrix(std(quotient(I,x3))); >> 1 >>> ideal J = I + x1^2; >>> matrix(std(quotient(J,x3))) == matrix(std(quotient(J,x3))); >> 1 > > Left and right hand side of these equations are identically the same. > So, of course the answer is 1.
Argh, sorry for that. So, now I'm stuck with either my proof or singular having a bug. Anyway, this is progress. > > I thought you want to compare quotient(J,x3) with J and quotient(I,x3) > with I? > And this gives: >> matrix(std(quotient(I,x3))) == matrix(std(I)); > 1 >> matrix(std(quotient(J,x3))) == matrix(std(J)); > 0 > > Cheers, > Simon > > -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.9 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iEYEARECAAYFAkk2Y8wACgkQrpEWPKIUt7NiTACcDmuyWwmeF3vzFvyVNPnAnuHA vD0AoIphtsCymp3PgW1W2O4xhKGYA/qW =WH5j -----END PGP SIGNATURE----- --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
