Bug: toField and %

6 views
Skip to first unread message

josephine.yu

unread,
Feb 3, 2012, 7:31:47 PM2/3/12
to Macaulay2
It looks like "% ideal" is behaving strangely after the ring has been
declared a field. See below:

i1 : F = toField( QQ[x]/(x^2+1) )

o1 = F

o1 : PolynomialRing

i2 : 1 % ideal(x)

o2 = 1

o2 : F

i3 : 1 % x

o3 = 0

o3 : F

josephine.yu

unread,
Feb 3, 2012, 7:33:26 PM2/3/12
to Macaulay2
I should add that this bug didn't exist in version 1.3.1. The example
was in version 1.4.

Grayson, Daniel R.

unread,
Feb 3, 2012, 8:04:44 PM2/3/12
to maca...@googlegroups.com
Thanks for the bug report! For now, you can work around it with 1_F in place of 1:


i3 : 1_F % ideal(x)

o3 = 0

o3 : F

> --
> You received this message because you are subscribed to the Google Groups "Macaulay2" group.
> To post to this group, send email to maca...@googlegroups.com.
> To unsubscribe from this group, send email to macaulay2+...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/macaulay2?hl=en.
>

josephine.yu

unread,
Feb 4, 2012, 12:47:29 PM2/4/12
to Macaulay2
Thanks!
Reply all
Reply to author
Forward
0 new messages