Go to the first, previous, next, last section, table of contents.


lex_hensel, lex_tl, tolex, tolex_d, tolex_tl

lex_hensel(plist,vlist1,order,vlist2,homo)
lex_tl(plist,vlist1,order,vlist2,homo)
: Groebner basis computation with respect to a lex order by change of ordering
tolex(plist,vlist1,order,vlist2)
tolex_d(plist,vlist1,order,vlist2,procs)
tolex_tl(plist,vlist1,order,vlist2,homo)
:: Groebner basis computation with respect to a lex order by change of ordering, starting from a Groebner basis
return
list
plist, vlist1, vlist2, procs
list
order
number, list or matrix
homo
flag
[78] K=katsura(5)$ 
30msec + gc : 20msec
[79] V=[u5,u4,u3,u2,u1,u0]$
0msec
[80] G0=hgr(K,V,2)$
91.558sec + gc : 15.583sec
[81] G1=lex_hensel(K,V,0,V,0)$
49.049sec + gc : 9.961sec
[82] G2=lex_tl(K,V,0,V,1)$
31.186sec + gc : 3.500sec
[83] gb_comp(G0,G1);
1
10msec
[84] gb_comp(G0,G2);
1
References
section dp_gr_main, dp_gr_mod_main, section dp_ord, section Distributed computation


Go to the first, previous, next, last section, table of contents.