archive/doc/bugs

   1 modulus:547;
   2 ratsimp(sqrt(2)) --> -1;   /* should change call to $ratexpand of exponent to let modulus */
   3
   4 solve((X2^2-6*X2+1),x2);
   5 (D47) [X2 = 5,X2 = 1];
   6
   7
   8 modulus:547;
   9 hh:ratsimp( -(BB1^3+(202*AA2^5+269*AA2^4+86*AA2^3+162*AA2^2-141*AA2+257)*BB1^2
  10               +(-118*AA2^5+27*AA2^4+31*AA2^3+122*AA2^2-248*AA2+64)*BB1
  11               +202*AA2^5+269*AA2^4+86*AA2^3+162*AA2^2-141*AA2+263)
  12         /(BB1^2-6*BB1+1));
  13 -->( -(BB1^3+(202*AA2^5+269*AA2^4+86*AA2^3+162*AA2^2-141*AA2+257)*BB1^2
  14               +(-118*AA2^5+27*AA2^4+31*AA2^3+122*AA2^2-248*AA2+64)*BB1
  15               +202*AA2^5+269*AA2^4+86*AA2^3+162*AA2^2-141*AA2+263)
  16         /(BB1^2-6*BB1+1))
  17
  18 but factor
  19 ( -(BB1^3+(202*AA2^5+269*AA2^4+86*AA2^3+162*AA2^2-141*AA2+257)*BB1^2
  20               +(-118*AA2^5+27*AA2^4+31*AA2^3+122*AA2^2-248*AA2+64)*BB1
  21               +202*AA2^5+269*AA2^4+86*AA2^3+162*AA2^2-141*AA2+263))
  22
  23   -(BB1+202*AA2^5+269*AA2^4+86*AA2^3+162*AA2^2-141*AA2+263)
  24         *(BB1^2-6*BB1+1)
  25
  26 ratsimp([1+546])--> [547]
  27