9 PrimeFieldCategory gives wrong modulo p for p >=32 bits in Z[x] For the polynomial U in Zp[x], when p >= 2^32 (i.e more than one machine word), the coerce function: n::U (to convert a Zp to Zp[x]) yields an incorrect result. Result is however correct if p < 32 bits (INCORRECT) [p > MachineWord case] k-> 290 pol x - k::K::U -> x+18446744073692774111 [p < MachineWord Case] k-> 290 pol x-k::K::U -> x+224 I will attempt a fix because I need it eventually for my work but if any of you come up with a fix soon enough, let me know. Aldor version is 1.0.3 (this option is not on this form no 1 /aldor.org/website/bugs/bugreport_9/pftest.as aldor -ginterp pftest.as 1.0.2 afilatei@scl.csd.uwo.ca yes dk dk dk dk dk yes yes