login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for SandBoxBugGroebnerFactorize revision 1 of 1

1
Editor: Bill Page
Time: 2017/05/02 20:32:09 GMT+0
Note: index out of range

changed:
-
\begin{axiom}
ideq:LIST(POLY(FRAC(SMP(INT,OVAR([mp,mq,mr,γqp,γrp,γrq])))))  := [ _
  (γrp^2*mr^2*mp*%x5+(γrq*γrp*γqp*mr*mq*mp*%x4+γrp^2*mr*mp*%x1))*%x8+((γrq*γrp*γqp*mr*mq*mp*%x5+(γqp^2*mq^2*mp*%x4+γqp^2*mq*mp*%x1))*%x6+(γrp^2*mr*mp*%x1*%x5+(γqp^2*mq*mp*%x1*%x4+(mp*%x1^2+(-1)*%x1)))), _
  (γrq^2*mr^2*mq*%x7+(γrq*γrp*γqp*mr*mq*mp*%x6+γrq^2*mr*mq*%x2))*%x9+((γrq*γrp*γqp*mr*mq*mp*%x4+γrq^2*mr*mq*%x2)*%x7+((γqp^2*mq*mp^2*%x4+γqp^2*mq*mp*%x2)*%x6+(γqp^2*mq*mp*%x2*%x4+(mq*%x2^2+(-1)*%x2)))), _
  (γrq^2*mr*mq^2*%x7+(γrq*γrp*γqp*mr*mq*mp*%x5+γrq^2*mr*mq*%x3))*%x9+((γrq*γrp*γqp*mr*mq*mp*%x7+(γrp^2*mr*mp^2*%x5+γrp^2*mr*mp*%x3))*%x8+(γrq^2*mr*mq*%x3*%x7+(γrp^2*mr*mp*%x3*%x5+(mr*%x3^2+(-1)*%x3)))), _
  (((γrq*γrp*mr^2)/γqp)*%x5+(γrq^2*mr*mq*%x4+((γrq*γrp*mr)/γqp)*%x1))*%x9+((γrp^2*mr*mp*%x4+((γrq*γrp*mr)/γqp)*%x2)*%x5+(γqp^2*mq*mp*%x4^2+(mq*%x2+(mp*%x1+(-1)))*%x4+%x1*%x2)), _
  (γrq^2*mr*mq*%x5+(((γrq*γqp*mq^2)/γrp)*%x4+((γrq*γqp*mq)/γrp)*%x1))*%x7+(γrp^2*mr*mp*%x5^2+(γqp^2*mq*mp*%x4+(mr*%x3+(mp*%x1+(-1))))*%x5+(((γrq*γqp*mq)/γrp)*%x3*%x4+%x1*%x3)), _
  (((γrq*γrp*mr^2)/γqp)*%x7+(γrp^2*mr*mp*%x6+((γrq*γrp*mr)/γqp)*%x2))*%x8+((γrq^2*mr*mq*%x6+((γrq*γrp*mr)/γqp)*%x1)*%x7+(γqp^2*mq*mp*%x6^2+(mq*%x2+(mp*%x1+(-1)))*%x6+%x1*%x2)), _
  γrq^2*mr*mq*%x7^2+(γqp^2*mq*mp*%x6+(γrp^2*mr*mp*%x5+(mr*%x3+(mq*%x2+(-1)))))*%x7+((((γrp*γqp*mp^2)/γrq)*%x5+((γrp*γqp*mp)/γrq)*%x3)*%x6+(((γrp*γqp*mp)/γrq)*%x2*%x5+%x2*%x3)), _
  (γrq^2*mr*mq*%x8+(((γrq*γqp*mq^2)/γrp)*%x6+((γrq*γqp*mq)/γrp)*%x1))*%x9+(γrp^2*mr*mp*%x8^2+(γqp^2*mq*mp*%x6+(mr*%x3+(mp*%x1+(-1))))*%x8+(((γrq*γqp*mq)/γrp)*%x3*%x6+%x1*%x3)), _
  γrq^2*mr*mq*%x9^2+(γrp^2*mr*mp*%x8+(γqp^2*mq*mp*%x4+(mr*%x3+(mq*%x2+(-1)))))*%x9+((((γrp*γqp*mp^2)/γrq)*%x4+((γrp*γqp*mp)/γrq)*%x2)*%x8+(((γrp*γqp*mp)/γrq)*%x3*%x4+%x2*%x3)) ];
#ideq
\end{axiom}

\begin{axiom}
groebnerFactorize ideq
\end{axiom}

fricas
ideq:LIST(POLY(FRAC(SMP(INT,OVAR([mp,mq,mr,γqp,γrp,γrq])))))  := [ _
  (γrp^2*mr^2*mp*%x5+(γrq*γrp*γqp*mr*mq*mp*%x4+γrp^2*mr*mp*%x1))*%x8+((γrq*γrp*γqp*mr*mq*mp*%x5+(γqp^2*mq^2*mp*%x4+γqp^2*mq*mp*%x1))*%x6+(γrp^2*mr*mp*%x1*%x5+(γqp^2*mq*mp*%x1*%x4+(mp*%x1^2+(-1)*%x1)))), _
  (γrq^2*mr^2*mq*%x7+(γrq*γrp*γqp*mr*mq*mp*%x6+γrq^2*mr*mq*%x2))*%x9+((γrq*γrp*γqp*mr*mq*mp*%x4+γrq^2*mr*mq*%x2)*%x7+((γqp^2*mq*mp^2*%x4+γqp^2*mq*mp*%x2)*%x6+(γqp^2*mq*mp*%x2*%x4+(mq*%x2^2+(-1)*%x2)))), _
  (γrq^2*mr*mq^2*%x7+(γrq*γrp*γqp*mr*mq*mp*%x5+γrq^2*mr*mq*%x3))*%x9+((γrq*γrp*γqp*mr*mq*mp*%x7+(γrp^2*mr*mp^2*%x5+γrp^2*mr*mp*%x3))*%x8+(γrq^2*mr*mq*%x3*%x7+(γrp^2*mr*mp*%x3*%x5+(mr*%x3^2+(-1)*%x3)))), _
  (((γrq*γrp*mr^2)/γqp)*%x5+(γrq^2*mr*mq*%x4+((γrq*γrp*mr)/γqp)*%x1))*%x9+((γrp^2*mr*mp*%x4+((γrq*γrp*mr)/γqp)*%x2)*%x5+(γqp^2*mq*mp*%x4^2+(mq*%x2+(mp*%x1+(-1)))*%x4+%x1*%x2)), _
  (γrq^2*mr*mq*%x5+(((γrq*γqp*mq^2)/γrp)*%x4+((γrq*γqp*mq)/γrp)*%x1))*%x7+(γrp^2*mr*mp*%x5^2+(γqp^2*mq*mp*%x4+(mr*%x3+(mp*%x1+(-1))))*%x5+(((γrq*γqp*mq)/γrp)*%x3*%x4+%x1*%x3)), _
  (((γrq*γrp*mr^2)/γqp)*%x7+(γrp^2*mr*mp*%x6+((γrq*γrp*mr)/γqp)*%x2))*%x8+((γrq^2*mr*mq*%x6+((γrq*γrp*mr)/γqp)*%x1)*%x7+(γqp^2*mq*mp*%x6^2+(mq*%x2+(mp*%x1+(-1)))*%x6+%x1*%x2)), _
  γrq^2*mr*mq*%x7^2+(γqp^2*mq*mp*%x6+(γrp^2*mr*mp*%x5+(mr*%x3+(mq*%x2+(-1)))))*%x7+((((γrp*γqp*mp^2)/γrq)*%x5+((γrp*γqp*mp)/γrq)*%x3)*%x6+(((γrp*γqp*mp)/γrq)*%x2*%x5+%x2*%x3)), _
  (γrq^2*mr*mq*%x8+(((γrq*γqp*mq^2)/γrp)*%x6+((γrq*γqp*mq)/γrp)*%x1))*%x9+(γrp^2*mr*mp*%x8^2+(γqp^2*mq*mp*%x6+(mr*%x3+(mp*%x1+(-1))))*%x8+(((γrq*γqp*mq)/γrp)*%x3*%x6+%x1*%x3)), _
  γrq^2*mr*mq*%x9^2+(γrp^2*mr*mp*%x8+(γqp^2*mq*mp*%x4+(mr*%x3+(mq*%x2+(-1)))))*%x9+((((γrp*γqp*mp^2)/γrq)*%x4+((γrp*γqp*mp)/γrq)*%x2)*%x8+(((γrp*γqp*mp)/γrq)*%x3*%x4+%x2*%x3)) ];
Type: List(Polynomial(Fraction(SparseMultivariatePolynomial?(Integer,OrderedVariableList([mp,mq,mr,γqp,γrp,γrq])))))
fricas
#ideq

\label{eq1}9(1)
Type: PositiveInteger?

fricas
groebnerFactorize ideq
>> Error detected within library code: index out of range