version 1.3, 2003/11/25 13:48:50 |
version 1.4, 2008/09/19 10:55:40 |
|
|
/* $OpenXM: OpenXM/src/ox_ntl/ntl.rr,v 1.2 2003/11/15 09:06:20 iwane Exp $ */ |
/* $OpenXM: OpenXM/src/ox_ntl/ntl.rr,v 1.3 2003/11/25 13:48:50 iwane Exp $ */ |
|
|
module ntl; |
module ntl; |
localf factor$ |
localf factor$ |
|
|
compare on ox_NTL and on asir. |
compare on ox_NTL and on asir. |
|
|
example: |
example: |
|
[1027] PID=ox_launch(ox_ntl); |
[1028] F=ntl.ex_data(4); |
[1028] F=ntl.ex_data(4); |
x^16-136*x^14+6476*x^12-141912*x^10+1513334*x^8-7453176*x^6+13950764*x^4-5596840*x^2+46225 |
x^16-136*x^14+6476*x^12-141912*x^10+1513334*x^8-7453176*x^6+13950764*x^4-5596840*x^2+46225 |
[1029] F = F * subst(F, x, x + 1)$ |
[1029] F = F * subst(F, x, x + 1)$ |