Le forum de XCAS

Code : Tout sélectionner

root@debian:/home/fred# ls -hl /usr/lib/libgiac*
-rw-r--r-- 1 root root  27M sept. 10 09:52 /usr/lib/libgiac.a
-rw-r--r-- 1 root root 1,1K sept. 10 09:52 /usr/lib/libgiac.la
lrwxrwxrwx 1 root root   16 sept. 10 09:52 /usr/lib/libgiac.so -> libgiac.so.0.0.0
lrwxrwxrwx 1 root root   16 sept. 10 09:52 /usr/lib/libgiac.so.0 -> libgiac.so.0.0.0
-rw-r--r-- 1 root root  25M sept. 10 09:52 /usr/lib/libgiac.so.0.0.0
root@debian:/home/fred# dpkg -s giac
Package: giac
Status: install ok installed
Priority: optional
Section: math
Installed-Size: 129675
Maintainer: Carleos Artime <carleos@pinon.ccu.uniovi.es>
Architecture: amd64
Version: 1.4.9-25

Code : Tout sélectionner

0>> debug_infolevel(2)
2
// Time 0
2>> f:=(x+3*y)/(x+z+1)**2 -(x+z+1)**2/(x+3*y)
69575 icas_eval f:=(x+3*y)/(x+z+1)^2-(x+z+1)^2/(x+3*y)
(x+3*y)/(x+z+1)^2-(x+z+1)^2/(x+3*y)
// Time 0
3>> factor(f)
70959 icas_eval factor(f)
71303Mul<gen> begin 71302
// 71400 Mul degree 1+1 size 3*3=9 max 5
// Actual mul size 6
71468Mul<gen> end 71468
0.071538 exactquo begin
exactquo end 2.4e-05 1
0.071582 exactquo begin
exactquo end 1e-05 1
71626Mul<gen> begin 71626
// 71645 Mul degree 1+1 size 3*3=9 max 5
// Actual mul size 6
71685Mul<gen> end 71685
0.071719 exactquo begin
exactquo end 1.3e-05 1
0.071745 exactquo begin
exactquo end 9e-06 1
0.071787 exactquo begin
exactquo end 1.2e-05 1
0.071812 exactquo begin
exactquo end 9e-06 1
71838Mul<gen> begin 71837
// 71852 Mul degree 1+1 size 2*2=4 max 5
// Actual mul size 3
71910Mul<gen> end 71910
71921Mul<gen> begin 71921
// 71952 Mul degree 2+2 size 6*6=36 max 14
// Actual mul size 15
71993Mul<gen> end 71993
72009Mul<gen> begin 72009
// 72025 Mul degree 1+2 size 2*6=12 max 8.75
// Actual mul size 12
72063Mul<gen> end 72062
0.07218 exactquo begin
exactquo end 2.9e-05 0
//Gcdheu Vector [1,1] 2 Vector [2,4] 7
0.072337 exactquo begin
exactquo end 1.4e-05 1
0.072364 exactquo begin
exactquo end 9e-06 1
Find_good_eval 72406 [0,0]
Fb= 72444 %%%{9,[2]%%%}+%%%{-1,[0]%%%}
Gb= 72465 %%%{9,[2]%%%}+%%%{-1,[0]%%%}
FOUND good eval72480 [0,0]
gcd modular algo begin 72522
0.072612 NTL factor begin
square-free decomposition...