Changeset 7cdd912 in git


Ignore:
Timestamp:
Jul 10, 2014, 6:19:15 PM (10 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
653440a090c5b7f2086e19c2cadf27bb08f91644
Parents:
ea1479887fc82285160a87ce7bdcd3ec4659fba98396b410befe58f432ebd52b868329b5264e887f
Message:
Merge pull request #613 from mmklee/gcd

Gcd
Files:
5 added
20 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/central.lib

    r8396b41 r7cdd912  
    20652065  inCenter(Z); // check the result
    20662066  // find at least one generator of the center:
    2067   ideal ZZ = center(-1, 1);
    2068   ZZ;
    2069   inCenter(ZZ); // check the result
     2067  ideal Z2 = center(-1, 1);
     2068  Z2;
     2069  inCenter(Z2); // check the result
    20702070}
    20712071
  • Singular/LIB/multigrading.lib

    r8396b41 r7cdd912  
    31773177
    31783178
    3179    j=system("sh","hilbert -q -n sing4ti2"); ////////// be quiet + no loggin!!!
     3179   j=system("sh","hilbert -q -n sing4ti2 >/dev/null 2>&1"); ////////// be quiet + no loggin!!!
    31803180
    31813181   j=system("sh", "awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.hil " +
  • Singular/LIB/numerDecom.lib

    r8396b41 r7cdd912  
    16401640 list A=imap(S,A);
    16411641 list W=imap(S,W);
    1642  list  D, B(1..size(A)),C(1..size(A)),D(1..size(A)),Z1(1..size(A)),Z(1..size(A)),Z,Y,ZY,ZZ;
     1642 list  D, B(1..size(A)),C(1..size(A)),D(1..size(A)),Z1(1..size(A)),Z(1..size(A)),Z,Y,ZY;
    16431643 int i,j,k,tw(di),tw1(di),tw2(di),tw3(di),tr,tc;
    16441644 list AA;
  • Singular/LIB/sing4ti2.lib

    r8396b41 r7cdd912  
    9090// using standard unix commands
    9191//----------------------------------------------------------------------
    92    j=system("sh","markov sing4ti2");
     92   j=system("sh","markov sing4ti2 >/dev/null 2>&1");
    9393   j=system("sh","awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.mar | sed s/[\\\ \\\t\\\v\\\f]/,/g | sed s/,+/,/g|sed s/,,/,/g|sed s/,,/,/g > sing4ti2.converted");
    9494   if(!defined(keepfiles))
     
    212212// using standard unix commands
    213213//----------------------------------------------------------------------
    214    j=system("sh","graver sing4ti2");
     214   j=system("sh","graver sing4ti2 >/dev/null 2>&1");
    215215   j=system("sh","awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.gra | sed s/[\\\ \\\t\\\v\\\f]/,/g | sed s/,+/,/g |sed s/,,/,/g|sed s/,,/,/g > sing4ti2.converted");
    216216   if(!defined(keepfiles))
     
    332332// using standard unix commands
    333333//----------------------------------------------------------------------
    334    j=system("sh","hilbert sing4ti2");
     334   j=system("sh","hilbert sing4ti2 >/dev/null 2>&1");
    335335   j=system("sh","awk \'BEGIN{ORS=\",\";}{print $0;}\' sing4ti2.hil | sed s/[\\\ \\\t\\\v\\\f]/,/g | sed s/,+/,/g |sed s/,,/,/g|sed s/,,/,/g > sing4ti2.converted");
    336336   if(!defined(keepfiles))
  • Tst/Manual.lst

    r8396b41 r7cdd912  
    14371437Manual/graver4ti2.tst
    14381438Manual/hilbert4ti2.tst
    1439 Manual/isPositive.tst
    14401439Manual/markov4ti2.tst
    14411440
  • Tst/Manual/_center.res.gz.uu

    r8396b41 r7cdd912  
    11begin 640 _center.res.gz
    2 M'XL("!(I<DX``V-E;G1E<BYR97,`A9+-;MLP$(3O>HI!T(.4RHY)NVE25032
    3 M^A*TZ"7-189@,-;:)JK2!;E!;#]]25N1TE,!`MSESBP__CS\G-__`"`4OM]_
    4 MP05['K?FZ:)`B);&&DZS(HDSE,**+),;6WH9>]:</'1NV;ECW>GVW*&O3A6<
    5 ML1O<W:'$)$_W^2$_YISES9]!-%/XK=F9/>:+61U&.1F*'U18%;FLR]&QP"F>
    6 MUJ6\W)\2&9.1O#P,AFN%AM:(&]K54K<;>G(Z%?D\*^")SS@%KJ[`6^/1"1#"
    7 MQ]2W2YF!R?J=HP8OAK?XMN"Z;_Y11>/:V`8;LN0T[YS';AUZ47=%,6MHXXCP
    8 MN<3T4^^]&<,TI%M4`>VL3:?9`'ZK4!5)M1!UR6$*)Y[M#^^/<B2/KQHQ43#V
    9 MZ]E;9:=3K+:T^G7:WY%_;CD1O5H,M)K1DO:,G:4!_5_R'E7('O4-ZTCD$`.O
    10 D"&];1>".^'5Y]A;Q_XSA?>-WBW_JV:>A_[OD+T'<'8B9`@``
     2M'XL(".I&O5,``U]C96YT97(N<F5S`(623T_C,!#%[_D43V@/":2E=LO";H@E
     3M=GM!N^(">TD55::9MA;!1?8@VGYZG*8D<%K)DF<\[XU__G/_,+V]`R`4_M[^
     4MP@E['M;F\21#B.;&&HZ3+&IF*(7Y@BR3&UIZ&WK6'-T?[?)H;^I.UVV+KCI6
     5M<,:N<'.#'*,TWJ:[=)]RDE8OO6BB\*S9F2VFLTD91C[JBQ<JK(I4EOE@G^$0
     6MC\M<GFX/B6R2@3S=]8;O"A4MT6QH%W-=K^C1Z5BDTR2#)VYQ,IR?@]?&XRA`
     7M"/_%OI[+!$S6;QQ5>#.\QI\9EUWS2]48E\966)$EIWGC/#;+T(O07E&35;1R
     8M1+C.,?[9>:^&,!7I&D5`:[7Q..G!?R@4653,1)ESF,*))]O=V5X.Y/Y#(T8*
     9MQOYNO45R.,5B38NGP_Z._&O-D>C4HJ?5C)JT9VPL]>A?R3M4(3M4V;,.1`K1
     10H\XKPMH4,P+(E_EB>?$:4_V4,[]O\M^9/O?HX]/\6O0.8KQ/CF@(`````
    1111`
    1212end
  • Tst/Manual/_center.tst

    r8396b41 r7cdd912  
    1010inCenter(Z); // check the result
    1111// find at least one generator of the center:
    12 ideal ZZ = center(-1, 1);
    13 ZZ;
    14 inCenter(ZZ); // check the result
     12ideal Z2 = center(-1, 1);
     13Z2;
     14inCenter(Z2); // check the result
    1515tst_status(1);$
  • Tst/Manual/graver4ti2.res.gz.uu

    r8396b41 r7cdd912  
    1 begin 644 graver4ti2.res.gz
    2 M'XL("&QQ7E,``V=R879E<C1T:3(N<F5S`*U444_;,!!^]Z\X57MH5]<D3D$3
    3 M%94*&Q-2*1/MA!!"R&VOK:7$[FR'-/WUNR0(&-JD#2W.PV?[_-WYNSM/9Y\O
    4 M)@`0#V%\<0JMX(-(];PU`$(/VNC0[@S@X&,S71OKL-WJ!RU;M/SQ@%46,!S"
    5 MVJE'=-6&,%@('U1@TR=N^<3MM5G7%K6#Y^UD"(YVP)U$O+WC)=_SHL.7VQ>+
    6 M_A`R%9S>P>6=O+_KWY-ES"5/:$A"T8OIX>M0VI>=`>O]Z\>JHT`47EL#L4A$
    7 MS.',;DNGUYL`[;,.R"@Z@MHLH,I$<V)A,_10Z+"!T>GT:OQ]]F5\"Y,KN!E=
    8 M7X\FLUO!9AOM@?Z50P1O5Z%0#CDHLX32YD`3*#"MB%BPX'"I/5U[G@<$DCDW
    9 M2W2P0!>4-N3.+'6@$+U@Y];!$FDY]1P\<8<-PDJG"&=7WVXO)E_%.V1@8VU0
    10 M.=`FX)H<^]('S(`"\S9]Q&/&NM`,UH-F,!9!#!(2.(&()81BB&K\!S*[@HW-
    11 M[!H-VMP#_LA52I<B'=_IAHVV6R1AJ)X>E=-J3AK$0@B8VC2OU3J&/H=IP.TQ
    12 M1"**2*X%B3;3&;Y:^!V-_#\TR1N:3^^CZ;^AB:._X&'GVJ@4YLI3$6Z4)]VT
    13 M>94`3C2_)*2JS*@I5TPQ0Q.HVFX<I8AB.:0F603KZF0U75<7'6^:P*'?TGZ=
    14 MR3++,+A2L*959C90&&^C>[B+[T]ZI>SN]H1EA9/N3A8T2:K)OKNK,+5_;R^[
    15 A984/*TQ&A7Q^`8Z&]5M5O4"Y;\>=P0?V$[X7_,WE!```
     1begin 640 graver4ti2.res.gz
     2M'XL("+%4O5,``V=R879E<C1T:3(N<F5S`$V0O0Z",!1&=Y[BAC@4J2@7="%V
     3M,"XFZJ(;(00C(4T43:E2>'IOT:CI<FZ_DZ\_A^-ZLP>`4,!VLP)7-SJXR).;
     4M`%$N:ZF9E\!T_!ZK^J9*YL9:HDO;XZEC#1`"*E4\2V6#H"[;H-&%=@Z?;OQT
     5M-[*N!F,XX!M'`A0EH)8SS@SO>,];CY_O/R,6<"VTD@9V*69IG)$9<N01+22:
     6M_=3Y_U78SDN</`VSY:1#W_3$:#GR#;8T1';H?6.92B<]^IWEN6626OSV+L3P
     72`_9=CX:%7C)R7I2?)=$[`0``
    168`
    179end
  • Tst/Manual/hilbert4ti2.res.gz.uu

    r8396b41 r7cdd912  
    1 begin 644 hilbert4ti2.res.gz
    2 M'XL("&QQ7E,``VAI;&)E<G0T=&DR+G)E<P#M5M]OVC`0?O=?<:KV`,RD22!0
    3 MBD"BW3I5HG0J3%-5M54H!U@*-HM-<?_[V7'XE6X/0WT<=I!SWWW?F?/ER'#T
    4 MY7H``$$7^M<7<**D\A(V/FF#63TSSE2IW(;3BKN=<9%BZ:2N6'ABS)538CV@
    5 MVX4Y2\:8*HMX'->>5+$BPUP\S,4EX[/,(XNPA6M=2`T":<>G)1U0'5)=H[I.
    6 M=41U@^HFU6=4M\ITLMR1ZEU8Q"IE&FX>FH\/K<=.0.VH;J:?#6=TZSTH]\RM
    7 MSM%=^]8#:L%:W8,V?M4=L-MH=)"<TDVY3:K_^B&6"J^82B8X!%[-"RA<BN5;
    8 MRF9S!:7+,H2^WX#,36&\\!SC12Q0PIJI.?0NAK?]'Z.O_7L8W,+/WMU=;S"Z
    9 M]\AHSB28.4T108JI6L<I4HCY!-[$"LP-K#&Q0D0)2''"I,GZ>*40S,FO^`13
    10 M>#$_+F;<A.,3ILP6I4>N1`H3-.9$4I!&6\T1IBQ!N+S]?G\]^.8=D0;29QSC
    11 M%!A7.#.!Y9M4N`"S,2F25SPGY#/8\7X2'^QX/PD)P([J9FZ1#O@YMC5MG2SF
    12 M;WA;;)_G.UX!WFCZ1=*!YCZPP[:\:O`NWE\2(Z8P%PLQ0XYB)0%_K>+$')"I
    13 MB?\I(Z2W7*(I6--Y7N.4Q6-3FX'G>3`4R2JKXG.(*`P5+L_!]WS?E/&+*>81
    14 M6^">X4\R84&F?IQ,K2!3.TZF_C&[B3Y&IE&0:1XGTRS(-(Z3.?N8`V\=(4.N
    15 M&(\3&,?2M-]Y+$VM,K[WN%*(#IY>VY)]UZ<QP05R9=JLZ_,CH8Q2,<#S0_#8
    16 MT<%36-&UBHXJNF&7S8H^>PJK@8%#"QO0FNOV*\JPBFYE<,W`8<[>P(;=RMEU
    17 JQPYSQ(GOV%$..[IS<=&=Q^;_L='-WBWL"\-*EH)R^Q/Y#6>2#YJ5"```
     1begin 640 hilbert4ti2.res.gz
     2M'XL("(14O5,``VAI;&)E<G0T=&DR+G)E<P!=D5UK@S`4AN_]%0?9A89HF_A5
     3M$;T8NRFLN^GNQ):621?HW-",G9^_?#G;D1A.WN=]3X+9OSYM7P"`-?"\?01?
     4M3C*^BK-?@:J.8A`R""M8$;N]#)]C'_BI%-Q7,EEYV@%-`^_B>NY'J4D\]#_Q
     5M)$_2V[OFW#6?Q'`Q#G/"'TX:&!6!L5[3`!E%3C&AF%+,*.84"XH;BF5(W[Z6
     6M4-K`QTF.`F'7%EU;=C6C>D3S7)MA15O?(.=TJC7:[U:]B_Y3HQLT^Z(%+!?-
     7M[GY.L`LK[]BRKD9VX`03@AG!7)<%P<V!1TQAKK&"6D[UDAE&L#0X49B[](Q5
     8JNG3IU*:Y([;YDLX<MG%KL:=;QWSQO#&/KE_R>PI86#UXOUD#RQ`N`@``
    189`
    1910end
  • Tst/Manual/isPositive.res.gz.uu

    r8396b41 r7cdd912  
    1 begin 644 isPositive.res.gz
    2 M'XL("&UQ7E,``VES4&]S:71I=F4N<F5S`.V436_:0!"&[_X5KU`/)G(<&]+T
    3 M`\42IDV$1"$*KBH41=6"!WLE>Q?MCJ'\^RX!`9%Z::O>ZM/.A^>=F4>::?9I
    4 M.`80)Q@-4[38<EC)>:L']_HNE62_W</5Q=XLE#;DMZY9=EK.?7'E[3*0))#V
    5 M05O)<DVAHDUH6;`W/=3N'&K73<6R,"*7JMB+'%.Z"59&*JYH315NT3V%KA.X
    6 M2`'CW%'@_PBV[2!?G>)OG;CB6C#Z3_'S4^?Y]C(.XE/\)H$E3H6E+V?Z?K]]
    7 M2GEWWK^;U[O\W<_;K01K,E9JA3CLAG&`@5YMC2Q*AC]HHQ-%-WA)8Q)UN/]C
    8 MH6NRV$@NT4^GD]'7[/-HAO$$W_J/C_UQ-@N]K)36M8>E(8+52]X(0P&$RK'5
    9 M#9R!#56[0AYK&,JE92/G#1,<FD;E9+`@PT(J)Z=R-Z16-O3NM$%.SEW9P&V(
    10 MP"5A*2O"8/(P&X[OPS]8@^?=224JS(5U+9?"(G9T2EWK@A3IQDEU<&:^C!'M
    11 M9Z.*:E+L6MOO)M/L*F6RIH^(PBAR32ZL%QVIO3^"3P_@7W'_\&ONZ8E['+WB
    12 DGOX'_T_!QW\'/CYB<[=J=XUV-Z:Q?MSNO?%^`N9F8"['!```
     1begin 640 isPositive.res.gz
     2M'XL("$E7O5,``VES4&]S:71I=F4N<F5S`&V0RPK",!!%]_V*H;A(I=:FUA?%
     3M@,6-H"+H3D0JAC)0HS3CZ^]-L30*[I(YES/)W6QG\Q4`<`&+>0HN:0H*/+H)
     4MF-,!%1+S$NBV/]=<74K)W)@P<LVXW76J!`@!J-<7C81W&2CY"#1EY&QJ=U2[
     5MS[>","^S$ZK\LZ2)]`1<2U14R+LL8`(]BV(!AN10FG'HLZ?_\OS3U?*^6:[H
     6MG!%,=WR_B_:3#O>YY0,!6E*::;G\VL^FGHT,O]]O_NN$#1HU]K2V_\C'_^6I
     7=E?/P1UX1WC#3>M5KU=9-,^XE+><-J&Q):Y$!````
    138`
    149end
  • Tst/Manual/markov4ti2.res.gz.uu

    r8396b41 r7cdd912  
    1 begin 644 markov4ti2.res.gz
    2 M'XL("&UQ7E,``VUA<FMO=C1T:3(N<F5S`.U5WT_;,!!^M[3_X53M(6'!)(&Q
    3 MJ8A*4`94*@715E.%$'+)M;66VLAV:=._?N>TM#"FK?"RESF1XLMW]_E^Y=+N
    4 MG#1:`)#4H-DXAHJSCN>R7SD`VMU))5T0'L#.UD(<*FTPJ.PYF5;H]=8.\QI0
    5 MJ\%8F!_ZT0-<X91;)QQK+[G3);>5:EAJE`>LX-T:&$+`',91,(N*:!Y&V<,:
    6 MW_/LSL@97-RDMS>[MZ271"E=212OU3X_=R*X"`_8]EL7\Z;PB,9*K2#ANSR)
    7 MH*X?"B.'(P=!/80TCO>A5',HQGQA<:_':&$JW0B.CMN7S6[G6[,'K4OX?G1]
    8 M?=3J]#CKC*0%N@<&$:P>N*DP&(%0&11Z`B3`%'-/Q)P&@YFT%')_XA`HP1.5
    9 MH8%[-$Y(1<>I3#IRT7)VJ@UD2*]S&X$E;C="&,@<H7YYU6NTSO@[TM#UE8+]
    10 M/>C3V5(Y'%)*.*OK\</$>6B("HTHMQ8I,>=%W\@L!,XYNQH)BY!4_Z#>%F[B
    11 M9:T6)D\RX91^8:3HYQC8D+,/``3Z'JI2(?*J[U0(NB&TY1R]5"ZJ4D>?Z+7\
    12 M/K-X$S-O),=>BGD<P\[R:?'><E@M5C+YH#`#D1L460&^IUZ&=Z(5\M^ROR)?
    13 MYC6MLJ8<E*E*7J7*(YYDY7T*P>FOWC>HEV;5=<0;&6T2\EN"6??&A1Q+)7(X
    14 M6_8():GM>^146!?ZYO!%V="7TH/%)]G1CDB?JY8J[.XFN3W<+M)/L_EJ<NRO
    15 M!DR+4#]@_'A)UJ/ERXO1THJ2_\/E'PV7O]=V5J3S[83VZ6K_5,:OM?(OYO]-
    16 /$QM0$3^RGY2"\-__!@``
     1begin 640 markov4ti2.res.gz
     2M'XL("#Q4O5,``VUA<FMO=C1T:3(N<F5S`%60S0Z",!"$[SS%AG@H6H$6_$D(
     3M/1@O),I%;X00C<8T*IA2%7AZ6U30]#+MS'[;W<UV&<4`0!BLH@68LI3VA>_-
     4M`)3*>,XEL@)PAN_K*2_$$9F^Y-14ST/'T`E@#*X[<2X>VK#SX],NY4X:FP^;
     5M?M@EST]MHFW0V1X#H1P0H8M1A6O<6/APZWU?TZ7@%:P3FB9>JG($4W4(=OO8
     6MY/<3:&T%1I:0-!S7=%0U76K:P6+E:IA&D1XS^\/$F'Q!54V;,5&:=OI;,V?M
     72>O30]Q*IBH'Q`L"]-,M8`0``
    178`
    189end
  • Tst/Manual/memory.res.gz.uu

    r8396b41 r7cdd912  
    1 begin 644 memory.res.gz
    2 M'XL(")"NRU```VUE;6]R>2YR97,`U93-;X(P&,;O_A5OR`XE&J1%%"62S"Q9
    3 MS)P'G=<MJ)TAXRMMW23+_O>U(.(!/[)=-@[EZ^%Y?WU>VOG3W7@*`-B#R7@$
    4 MFN#""(.EYH*\>@GB0"#=;:@S>!Y$-$I89L3TP^#"%XWY_FOBR8$%\0;8T&RA
    5 M'<*&89NFKK?6J7M064J5)F$&Z5!I].8.Y:IGVZQ4G5S%DA7,:)HP\9C77'!_
    6 M0Y%^4-F&'#ZAH-S$":-(*Y2PVC)&8R'+;#E=PS*#^7AZOYC<SD`=`PV:P(6B
    7 M1<5\D$20S[11)BB@H]=!+"I)&YO$*H0/2JEKH%?4/2,W/\_CAV&R\H6$>F5)
    8 M!#SC@D8U//@R#[[`TZ_C\7=!Y(?[+M;3U.9#+O.0\SP8*YZOPVW^P]3TUVVT
    9 MVT?,`[BRIY;=Q9@4@%;'*0`N>M7W@UB6X^!N84:(TSWA=EV:Q++[I%^Z66;I
    10 M5B:1+XJW(`RA6BFX<RH>D!`AY;RLJM(80)H;T/4/PR-.CYC.GM`Q_U%X]B$\
    11 M5H77/1<>?:?Q<8(#8+\-3V)U]H2]4]/]B^'UO-Q5;>1;+C<4]Z;Q#1;@FKD.
    12 #!@``
     1begin 640 memory.res.gz
     2M'XL("*N!O5,``VUE;6]R>2YR97,`U93-3X,P&,;O^RO>$`\E6Y!VE(T1230F
     3M9G'NL.E5@UM=B'RE[73$^+_;PA@[H!B-!SF4KX?G_?&\;9>WE],Y`.``9M,+
     4M,*205AP]&CZHJX<HC20R_9X^0Q!`PI*,%U;*7BTA0]E;[K\F@1IXE&Z`G]D#
     5MM$/8LJAMF^9@G?L'U5"K\BPN(#_3&K._0Z7JGMJ-RBE5/%O!@N49ES=ES3L1
     6M;A@R#RIJJ>$-*LI-FG&&C$H)JRWG+)6JS%:P-3P6L)S.K^YFYPO0Q\2`/@BI
     7M:5'U/T@AJ&?&12$9H*/742H;R3IZ`6P3I])>:[%I@-F`CZS2_VND,(ZS52@5
     8MUQ//$A"%D"QI0<+=2+@;R6M#"G=1$L;[7K8#M:9$NI%()Q+&&NG]<%O.G)9&
     9M^[W3TR/L"7RSN83:U+4K1N(X%4"G5WM7"''&KE.;88]^XO:]0,G0'BK#O1MQ
     10MO+U;G42Y.IZC.(9FR6#GLWA`0<1,B+JJ3F,">6G`UC\,#X\Q\=R*$(]&_R@\
     11M>@B/-^&Y7X7'7EAZG.`$^"_#<\>$UN&YOYYYF'JD#F_L_6EXHZ!TU3OZ5JAM
     12-Q3_I?0#92EYJ%P8`````
    1313`
    1414end
  • Tst/Manual/memory.tst

    r8396b41 r7cdd912  
    33  poly p=(x(1)+x(500))^50;
    44  proc ReportMemoryUsage()
    5   {  tst_ignore("Memory currently used by SINGULAR     :" + string(memory(0)) + "Byte (" + string(int(memory(0)/1023)) + "KByte)" );
    6      tst_ignore("Memory currently allocated from system:" + string(memory(1)) + "Byte (" + string(int(memory(1)/1023)) + "KByte)" );
    7      tst_ignore("Maximal memory allocated from system  :" + string(memory(2)) + "Byte (" + string(int(memory(2)/1023)) + "KByte)" );
     5  {  tst_ignore("Memory currently used by SINGULAR     :" + string(memory(0)) + "Byte (" + string(int(memory(0)div 1024)) + "KByte)" );
     6     tst_ignore("Memory currently allocated from system:" + string(memory(1)) + "Byte (" + string(int(memory(1)div 1024)) + "KByte)" );
     7     tst_ignore("Maximal memory allocated from system  :" + string(memory(2)) + "Byte (" + string(int(memory(2)div 1024)) + "KByte)" );
    88  }
    99  ReportMemoryUsage();
  • Tst/Manual/multiDegBasis.res.gz.uu

    r8396b41 r7cdd912  
    1 begin 644 multiDegBasis.res.gz
    2 M'XL("&QQ7E,``VUU;'1I1&5G0F%S:7,N<F5S`.U8;6^;2!#^SJ\86?V`?9C`
    3 M[IK8C>Q3DEZK2$[2)JZJW*F.2-C8J\/0@[5C^/4WF)?%28B::Z_*!V,LEMUG
    4 M9V'F>7;&OIR\.SD#`'L$XY,C:,E8FKZX:1T`MJY%(*3>/H"]3GX["\*(ZRTF
    5 M!6EA=V=/RQ`P&L%BZ4OQCL^.W%C$9L#OS5BZ4KLLS)/"_`8VBUQ/!+-\G0I"
    6 M1Q!A+US`$"P#]+4!2=L`[YN"L!&(0"Y<"3/[+_(5SZ%M6/BQ%:978?P,8G\=
    7 M$L-2PXXR02H3FX_"[&\P*WX+*WO(ZK/[:H3@"%,C`V67XJ*%W6K<MD80<XG>
    8 MX:<U%^@SVE886UFG0_:V-AO=MZ('&JLZZ`./ZZO,4/>EAY9%$E8\BD48@&U2
    9 MTS;@./R61&(VEZ`?MX%8E@,;F.3NPLQGW(8+'L.]D',X/+H\'W^>_#&^@K-S
    10 M^')X<7%X-KDRM<E<Q(#G7<0YQ.&=O'<C;H`;>)"$2\`;N.=^9DB3(43<$[&,
    11 MQ,U2<D!&+0./1W#+(^F*`)<+/"'Q$6-3>Q]&X''L]F,#7<I!SCG<"9_#\?G'
    12 MJY.S#^9_<(.FO1>!Z\--YDN8NS'8&(IYN`AG/.#A$I?J0>UV\QI6_F[<YPL>
    13 M2'RTW#>34**EB5CPMV"9EH4/>1MKUQD3UPROR(PDNU*\3R@V&#9(0K#5PQ9-
    14 MJB"S!L[8AE]C3>\1%>P=%?Y7*I"?0`6[BI_3$&52B_'^HQB378Q?O=R30N[K
    15 M4NZH[8=RQQV@#'*_2B&G>6;"1(CQZ1;?6CH85(G"0TR7("6K0=*0:4X5G8C]
    16 MD$[>CDVO?L=`RI3QPW+`E=D+Z]<&M/[D4?C1C2169$6:J5((P3KA;^'[<&'`
    17 M*=92B@+LB6K+@'2[X"*];4K2DI+(.+QDA[UIJ1*)J`)KG-=?^0(U@NYOL9?5
    18 MF4WZ#>0U8%SC[V#'WU_+W\'/*'Y26E0_J5/LATZY']*TC"VUGN=V0M)R5TW2
    19 MP@Q3TJ!V`^$I^1["4]3+/QO8)X3%TM.%QUU?AV3J_`;K3C*EG;2[GI)..B70
    20 M5I2D[&FEX$ERH>22452GJ*V]/2AG39X6"W7,IMT\FWWT^</O>%3H;6DY!CC*
    21 M4G\GFE\K&OICHL'P=CIPG7DD")&+:,"-O'S!YP=SN9&4E$*IR6OPO+RL$L@L
    22 M):1/#[3$[._1$B,-6EJC>"AT(0%L($=15IT4L&,]9:BP+5TQ^N(,Q)04&T3%
    23 M>LT9B#64X^B`R9.:8X]J\YVN7G4R^E%=E6DLSUYT*WNQ_DNR5SD)-9G]NY;]
    24 28;:,=?SU_D;[%[E6;T67$P``
     1begin 640 multiDegBasis.res.gz
     2M'XL("'=7O5,``VUU;'1I1&5G0F%S:7,N<F5S`*U676^;,!1]SZ^XBO9`F)/@
     3M:X<FJY))5:6I4C.M'WO9U$1TH`B-T@W<%/CUNP2P21JJ5AH08>SCX^MS[H7<
     4MW)Y??`4`OH#+BS/HJU2-HO"^?PK46H=QJ*S!*8SMZG$3/R:!U9<JQ#YUV^->
     5MB8#%`AZ>(A6>!YLS+PW341P\CU+EJ=Y-38\U_0ZV23P_C#?5.AHB%I!0+US#
     6M'!P&5L8@'S#P_QB(7$`8JP=/P8;_Q#NZYIPY='*#F6A,5$+XW1R98X9=0X&:
     7M8G<:S,D.LPU^P9;/97OVU(P@C4@S,C.\@A:M>?4X=Q:0!HK4"98M":R-&!@,
     8M-^QB+C^U9I-\6W':D[I#'"AN;4NB=;G=3-*=EL_+NZ#G7%!#4@-SI-:$6B+7
     9M3+(C,,ZB5FB3%^OQ9CVN06X'%;:(3EX084.4UX%G3>`4Y6'@M)>&::H57U9&
     10M4MYP!L/ZUU)OIG7U"3-$!J@'L<.8I8D9^6',O@X9-8@L\I1*PGMKS:#_(T@>
     11MOWF)ZFM7M.)(WOT.HPBN&2PIO\TZ\D@%,"CVBP`G^_L6S;YI6W0K#[YKF;1%
     12MD_2754U4"[14.-F32+;EPVF'0@PN6R+-.D7*"E%G9.'6SKJ-LZ)H"(3SNH`Y
     13M%DU^Y$5-(XW^@G>H*O`MJ@HRY>\.=D6P5/E6Z`=>9$&^<C]"9N<K81?#;(5V
     14ML4(8F'T+>=P.NK!RH_+%Z"G(P/$8FEFWQQT1[J@K+\O99]^_?*9#H_?]<QFX
     15MAFEZS!GBL&U80YA"_$@;]F+?2WRX+P&O#U:>8H&-&RT/9Z][Z#1`Z1BWK@X,
     16MD_PMADGL,"PCAP0,(0=JD!#DG5T`=60K23;NF2?%NVM)&K\[G).3[EJ2':](
     17M$N#VJ+'RQ?OR?YC7%&15AV*O#N7T/7783"+CRS\(Y3?_*;7HV_"A]P\"4O,S
     18$6@@`````
    2519`
    2620end
  • Tst/Manual/s.lst

    r8396b41 r7cdd912  
    1 typeof.tst
    2 _trace.tst
    3 janet.tst
    4 kbase.tst
    5 killattrib.tst
    6 Names_in_procedures.tst
    7 Parameters.tst
    8 var.tst
    9 Characteristic_sets.tst
    10 Critical_points.tst
    11 diff.tst
    12 ideal_operations.tst
    13 ideal_operations_BR_PLURAL_BR.tst
    14 jacob.tst
    15 kill.tst
    16 koszul.tst
    17 leadcoef.tst
    18 Matrix_orderings_1.tst
    19 Names_2.tst
    20 vandermonde.tst
    21 binomials2intmat.tst
    22 cardGroup.tst
    23 char_series.tst
    24 cleardenom.tst
    25 dim.tst
    26 eliminate.tst
    27 eliminate_BR_PLURAL_BR.tst
    28 gcddivisor.tst
    29 homog.tst
    30 impart.tst
    31 jet.tst
    32 laguerre.tst
    33 Miscellaneous_oddities_1.tst
    34 Names_1.tst
    35 Objects.tst
    36 Pipe_links.tst
    37 pyobject_related_functions.tst
    38 reduce.tst
    39 short.tst
    40 showNmzOptions.tst
    41 slimgb.tst
    42 sortvec.tst
    43 startNmz.tst
    44 variables.tst
    45 Access_to_elements_of_a_user_defined_type.tst
    46 cantorred.tst
    47 chinrem.tst
    48 DBM_links.tst
    49 Dynamic_modules.tst
    50 hres.tst
    51 ideal_declarations_BR_PLURAL_BR.tst
    52 importfrom.tst
    53 indepSet.tst
    54 int_declarations.tst
    55 int_operations.tst
    56 kbase_BR_PLURAL_BR.tst
    57 kernel.tst
    58 Kernel_of_module_homomorphisms.tst
    59 LIB.tst
    601memory.tst
    61 Miscellaneous_oddities_3.tst
    62 ordstr.tst
    63 PBW_maxDeg.tst
    64 PBW_maxMonom.tst
    65 poly_expressions_BR_PLURAL_BR.tst
    66 pyobject.tst
    67 _quotient.tst
    68 random.tst
    69 rMacaulay.tst
    70 show.tst
    71 simplify.tst
    72 sparseHomogIdeal.tst
    73 sqrfree.tst
    74 status.tst
    75 transpose.tst
    76 triagmatrix.tst
    77 univariate.tst
    78 univarpoly.tst
    79 vdim_BR_PLURAL_BR.tst
    80 ;; waitall.tst
    81 bigint_expressions.tst
    82 boolean_operations.tst
    83 breakpoint.tst
    84 cantoradd.tst
    85 Center.tst
    86 chaincrit.tst
    87 changeord.tst
    88 changevar.tst
    89 closetex.tst
    90 coeffs_1.tst
    91 Cornacchia.tst
    92 Declaration_of_objects_of_a_user_defined_type.tst
    93 def_declarations.tst
    94 delete.tst
    95 double.tst
    96 ellipticMult.tst
    97 embedMat.tst
    98 Generalized_Hilbert_Syzygy_Theorem.tst
    99 groebner.tst
    100 gwalk.tst
    101 id2mod.tst
    102 imap.tst
    103 insert.tst
    104 intRoot.tst
    105 ishyper.tst
    106 jordanbasis.tst
    107 kohom.tst
    108 kontrahom.tst
    1092LLL.tst
    110 matrix_operations.tst
    111 Module_orderings_1.tst
    112 Module_orderings_2.tst
    113 mult.tst
    114 power.tst
    115 printf.tst
    116 proc_declaration.tst
    117 qring_declaration_BR_PLURAL_BR.tst
    118 Quotient_rings.tst
    119 relweight.tst
    120 repart.tst
    121 reservedName.tst
    122 ringlist_BR_PLURAL_BR.tst
    123 setNmzDataPath.tst
    124 setNmzOption.tst
    125 showrecursive.tst
    126 sort.tst
    127 sprintf.tst
    128 std.tst
    129 system.tst
    130 texproc.tst
    131 timeFactorize.tst
    132 tolessvars.tst
    133 toric_ideal.tst
    134 varsigns.tst
    135 Algebraic_dependence.tst
    136 Betti_numbers_and_regularity.tst
    137 bigint_declarations.tst
    138 boundposDes.tst
    139 cantormult.tst
    140 charexp2generators.tst
    141 CMtype.tst
    142 Command_line_options.tst
    143 defined.tst
    144 Definition_of_a_user_defined_type.tst
    145 deg.tst
    146 detadj.tst
    147 division.tst
    148 elemSymmId.tst
    149 elim1.tst
    150 ellipticRandomCurve.tst
    151 equidimMaxEHV.tst
    152 fglmquot.tst
    153 First_index_is_1.tst
    154 Free_resolutions.tst
    155 frwalk.tst
    156 Function_without_return_value.tst
    157 gcd.tst
    158 ideal_declarations.tst
    159 Identifier_resolution.tst
    160 inCenter.tst
    161 interpolation.tst
    162 intmat_expressions.tst
    163 intvec_operations.tst
    164 is_injective.tst
    165 is_reg.tst
    166 isuni.tst
    167 laxfrX.tst
    168 leadexp.tst
    169 leadmonom.tst
    170 Loading_a_library.tst
    171 map_declarations.tst
    172 Matrix_orderings.tst
    173 mdouble.tst
    174 Miscellaneous_oddities.tst
    175 Miscellaneous_oddities_2.tst
    176 msum.tst
    177 par2varRing.tst
    178 PBW_eqDeg.tst
    179 print.tst
    180 Print_command.tst
    181 prodcrit.tst
    182 pyobject_declarations.tst
    183 pyobject_operations.tst
    184 pyobject_related_functions_1.tst
    185 qring_declaration.tst
    186 rad_con.tst
    187 readNmzData.tst
    188 removepower.tst
    189 resultant.tst
    190 rvar.tst
    191 setring.tst
    192 solutionsMod2.tst
    1933solve_IP.tst
    194 sortier.tst
    195 sparsepoly.tst
    196 split.tst
    197 spprint.tst
    198 squareRoot.tst
    199 sturmseq.tst
    200 submat.tst
    201 syz.tst
    202 texname.tst
    203 triangLf_solve.tst
    204 twalk.tst
    205 type.tst
    206 valvars.tst
    207 allrealst.tst
    208 ASCII_links.tst
    209 attrib_1.tst
    210 awalk1.tst
    211 char.tst
    212 charexp2multseq.tst
    213 codim.tst
    214 contract.tst
    2154datetime.tst
    216 debug_log.tst
    217 det.tst
    218 dsum.tst
    219 eigenvals.tst
    220 elimpartanyr.tst
    221 ellipticRandomPoint.tst
    222 Example_of_a_procedure_definition_in_a_library:.tst
    223 fetch.tst
    224 freemodule.tst
    225 gauss_col.tst
    226 gauss_nf.tst
    227 Handling_graded_modules.tst
    228 highcorner.tst
    229 idealsimplify.tst
    230 inCentralizer.tst
    231 indSet.tst
    232 inSubring.tst
    233 interpolate.tst
    234 interred.tst
    235 intersect.tst
    236 intmat2mons.tst
    237 intmat_operations.tst
    238 intmat_type_cast.tst
    239 isartinianMon.tst
    240 isparam.tst
    241 kernelLattice.tst
    242 lcm.tst
    243 lead.tst
    244 Left_and_two-sided_Groebner_bases.tst
    245 lift.tst
    246 load_1.tst
    247 matrix_declarations.tst
    248 maxideal.tst
    249 minor.tst
    250 module_declarations.tst
    251 module_declarations_BR_PLURAL_BR.tst
    252 module_operations_BR_PLURAL_BR.tst
    253 Module_orderings_3.tst
    254 multBound.tst
    255 Names.tst
    256 NullCone.tst
    257 nvars.tst
    258 pardeg.tst
    259 pmat.tst
    260 poly_BR_PLURAL_BR.tst
    261 poly_operations.tst
    262 primecoeffs.tst
    263 primefactors.tst
    264 prune.tst
    265 pyobject_expressions.tst
    266 python_eval.tst
    267 qhmatrix.tst
    268 qslimgb.tst
    269 reduce_BR_PLURAL_BR.tst
    270 resolution_declarations.tst
    271 resolution_declarations_BR_PLURAL_BR.tst
    272 size.tst
    273 skewmat.tst
    274 spadd.tst
    275 sparsemat.tst
    276 splitting.tst
    277 spsub.tst
    278 squarefree.tst
    279 string_expressions.tst
    280 string_operations.tst
    281 sturmhaseq.tst
    282 subst.tst
    283 texpoly.tst
    284 triang_solve.tst
    285 truncateFast.tst
    286 Type_casting.tst
    287 u.tst
    288 ures_solve.tst
    289 variablesStandard.tst
    290 vdim.tst
    291 voice.tst
    292 whichvariable.tst
    293 wUnit.tst
    294 A_Z.tst
    295 algDependent.tst
    296 allprint.tst
    297 allreal.tst
    298 ASCII.tst
    299 bigint_operations.tst
    300 boundBuFou.tst
    301 canonMap.tst
    302 central2nd.tst
    303 charpoly.tst
    304 charstr.tst
    305 chinrestp.tst
    306 coef.tst
    307 coeffs.tst
    308 ComplexValue.tst
    309 CornacchiaModified.tst
    310 denominator.tst
    311 derivate.tst
    312 det_B.tst
    313 diag.tst
    314 diagInvariants.tst
    315 dimMon.tst
    316 divisor.tst
    317 dump.tst
    318 elimlinearpart.tst
    319 elimRing.tst
    320 equalJinI.tst
    321 errorInsert.tst
    322 errorRand.tst
    323 exportto.tst
    324 fibonacci.tst
    325 find.tst
    326 finduni.tst
    327 Formatting_output.tst
    328 Gauss-Manin_connection_2.tst
    329 hilb.tst
    330 ImageGroup.tst
    331 imapall.tst
    332 init_debug.tst
    333 integralSection.tst
    334 intInverse.tst
    335 intRank.tst
    336 is_active.tst
    337 _isoncurve.tst
    338 jordanmatrix.tst
    339 jordannf.tst
    340 katsura.tst
    341 KScoef.tst
    342 latticeBasis.tst
    343 laxfrT.tst
    344 lift_BR_PLURAL_BR.tst
    345 load.tst
    346 Long_coefficients.tst
    347 matrix_type_cast.tst
    348 Max.tst
    349 maxabs.tst
    350 minMult.tst
    351 Miscellaneous_oddities_4.tst
    352 nameof.tst
    353 _names.tst
    354 Names_3.tst
    355 ncols.tst
    356 noether.tst
    357 option.tst
    358 ord_test.tst
    359 ParToVar.tst
    360 PerfectPowerTest.tst
    361 permrow.tst
    362 poly_declarations.tst
    363 poly_declarations_BR_PLURAL_BR.tst
    364 poly_expressions.tst
    365 python_import.tst
    366 python_run.tst
    367 randomBinomial.tst
    368 read.tst
    369 ringlist.tst
    370 Rings_associated_to_monomial_orderings.tst
    371 setinitials.tst
    372 solvelinearpart.tst
    373 sortvars.tst
    374 sparseid.tst
    375 splitring.tst
    376 sqfrNorm.tst
    377 Ssi_file_links.tst
    378 Ssi_tcp_links.tst
    379 string_declarations.tst
    380 Syzygies.tst
    381 tab.tst
    382 tangentcone.tst
    383 tensorMod.tst
    384 tracemult.tst
    385 trapezoid.tst
    386 triangL_solve.tst
    387 triangM_solve.tst
    388 truncate.tst
    389 varNum.tst
    3905;; waitfirst.tst
    391 absFactorize.tst
    392 absValue.tst
    393 Ann.tst
    394 attrib.tst
    395 attrib_2.tst
    396 backward.tst
    397 betti.tst
    398 betti_BR_PLURAL_BR.tst
    399 blowup0.tst
    400 closed_points.tst
    401 CM_regularity.tst
    402 Computation_of_Ext.tst
    403 createGroup.tst
    404 defring.tst
    405 dim_BR_PLURAL_BR.tst
    406 dim_slocus.tst
    407 dimGradedPart.tst
    408 discr.tst
    409 elim2.tst
    410 elimrep.tst
    411 engine.tst
    412 ERROR.tst
    413 exteriorBasis.tst
    414 genericmat.tst
    415 getdump.tst
    416 GKdim.tst
    417 hessenberg.tst
    418 Identifier_resolution_1.tst
    419 insertGenerator.tst
    420 int_expressions.tst
    421 intersectMon.tst
    422 intPart.tst
    423 is_ci.tst
    424 is_is.tst
    425 is_zero.tst
    426 isCommutative.tst
    427 isprimeMon.tst
    428 IsSCA.tst
    429 isWeyl.tst
    430 jacoblift.tst
    431 laguerre_solve.tst
    432 lcmMon.tst
    433 linearCombinations.tst
    434 luinverse.tst
    435 map_operations.tst
    436 maxdeg.tst
    437 Milnor_and_Tjurina_number.tst
    438 mindeg.tst
    439 module_operations.tst
    440 modulo.tst
    441 mstd.tst
    442 mtriple.tst
    443 multcol.tst
    444 pause.tst
    445 preimage.tst
    446 primes.tst
    447 primitive_extra.tst
    448 primTest.tst
    449 pwalk.tst
    450 qhspectrum.tst
    451 qhweight.tst
    452 qrds.tst
    453 quickclass.tst
    454 quotientMon.tst
    455 radicalEHV.tst
    456 randlinpoly.tst
    457 randomid.tst
    458 regMonCurve.tst
    459 relative_orbit_variety.tst
    460 remainder.tst
    461 res.tst
    462 Return_type_of_procedures.tst
    463 ring_operations.tst
    464 Rings_and_standard_bases.tst
    465 sagbiSPoly.tst
    466 select1.tst
    467 setNmzExecPath.tst
    468 setNmzFilename.tst
    469 signatureBrieskorn.tst
    470 signatureLqf.tst
    471 simplex.tst
    472 smithNormalForm.tst
    473 spgamma.tst
    474 stdfglm.tst
    475 sturm.tst
    476 subrInterred.tst
    477 tensor.tst
    478 texobj.tst
    479 triMNewton.tst
    480 twostd.tst
    481 unitmat.tst
    482 updatePairs.tst
    483 variablesSorted.tst
    484 varstr.tst
    485 vector_operations.tst
    486 addrow.tst
    487 adjoint.tst
    488 algebra_containment.tst
    489 allPositive.tst
    490 AltVarEnd.tst
    491 annil.tst
    492 applyAdF.tst
    493 binomial.tst
    494 blowUp2.tst
    495 bracket.tst
    496 bubblesort.tst
    497 charexp2conductor.tst
    498 completeReduction.tst
    499 concat.tst
    500 dbprint.tst
    501 def.tst
    502 degreepart.tst
    503 Delta.tst
    504 diag_test.tst
    505 dual_code.tst
    506 elimpart.tst
    507 encode.tst
    508 Example_of_an_interactive_procedure_definition_and_its_execution:.tst
    509 extgcd.tst
    510 facstd.tst
    511 Factorization.tst
    512 fastExpt.tst
    513 fglm.tst
    514 gauss_row.tst
    515 gaussred.tst
    516 gen.tst
    517 gmsnf.tst
    518 GTZmod.tst
    519 headStand.tst
    520 hermiteNormalForm.tst
    521 hilbvec.tst
    522 iMult.tst
    523 intclMonIdeal.tst
    524 intersectLattices.tst
    525 intmat_declarations.tst
    526 intvec_declarations.tst
    527 intvec_expressions.tst
    528 is_complex.tst
    529 is_irred.tst
    530 is_NP.tst
    531 isgenericMon.tst
    532 isirreducibleMon.tst
    533 isLocallyFree.tst
    534 isMonomial.tst
    535 isprimaryMon.tst
    536 isTame.tst
    537 jordan.tst
    5386kmemory.tst
    539 KSker.tst
    540 KSlinear.tst
    541 lastvarGeneral.tst
    542 lcmN.tst
    543 leadmonomial.tst
    544 LinearizeAction.tst
    545 list_expressions.tst
    546 mapall.tst
    547 matmult.tst
    548 matrix_expressions.tst
    549 maxcoef.tst
    550 maxdeg1.tst
    551 membershipMon.tst
    552 milnor.tst
    553 minAssChar.tst
    554 mons2intmat.tst
    555 mpresmat.tst
    556 multseq2charexp.tst
    557 ncRelations.tst
    558 NoetherPosition.tst
    559 norm.tst
    560 nres.tst
    561 nrows.tst
    562 opentex.tst
    563 ord.tst
    564 outer.tst
    565 par.tst
    566 parstr.tst
    567 PartitionVar.tst
    568 permcol.tst
    569 poly.tst
    570 printGroup.tst
    571 randomCheck.tst
    572 randomLast.tst
    573 randommat.tst
    574 Return_type_of_procedures_1.tst
    575 rho.tst
    576 showNuminvs.tst
    577 signatureL.tst
    578 sortandmap.tst
    579 sortIntvec.tst
    580 sparsematrix.tst
    581 sparsetriag.tst
    582 spectrumnd.tst
    583 spgeomgenus.tst
    584 spissemicont.tst
    585 sppnf.tst
    586 symmat.tst
    587 symmfunc.tst
    588 T_2.tst
    589 timestep.tst
    590 _tjurina.tst
    591 toric_std.tst
    592 UpOneMatrix.tst
    593 VarToPar.tst
    594 wedge.tst
    595 weight.tst
    596 writeNmzData.tst
    597 xchange.tst
    598 addcol.tst
    599 alg_kernel.tst
    600 allsquarefree.tst
    601 bareiss.tst
    602 boundDes.tst
    603 canonize.tst
    604 CenterBO.tst
    605 centerVS.tst
    606 central1st.tst
    607 centralizeSet.tst
    608 chineseRem.tst
    609 coeffmod.tst
    610 colrank.tst
    611 compress.tst
    612 cyclotomic.tst
    613 deform.tst
    614 degree.tst
    615 DeltaList.tst
    616 Depth.tst
    617 ecart.tst
    618 eexgcdN.tst
    619 ehrhartRing.tst
    620 ellipticAdd.tst
    621 envelope.tst
    622 equidimMax.tst
    623 execute.tst
    624 extendring.tst
    625 farey.tst
    626 findTorsion.tst
    627 further_hn_proc.tst
    628 furtherInvar.tst
    629 fwalk.tst
    630 group_reynolds.tst
    631 Gweights.tst
    632 Hcode.tst
    633 hilbPoly.tst
    634 internalfunctions.tst
    635 intersectZ.tst
    636 InvariantRing.tst
    637 is_NND.tst
    638 isCartan.tst
    639 isCentral.tst
    640 isNC.tst
    641 isOnCurve.tst
    642 isReg.tst
    643 iv2lp.tst
    644 LengthSymElement.tst
    645 liftstd.tst
    646 linearpart.tst
    647 localstd.tst
    648 locstd.tst
    649 mapIsFinite.tst
    650 matrixsystem.tst
    651 maximum.tst
    652 minbase.tst
    653 MinimalDecomposition.tst
    654 mod2id.tst
    655 Module_orderings.tst
    656 monomial.tst
    657 multi.tst
    658 number_expressions.tst
    659 oneDimBelongSemigroup.tst
    660 package_declarations.tst
    661 pdivi.tst
    662 permute_L.tst
    663 printlevel.tst
    664 pyramid.tst
    665 qbase.tst
    666 radicalMon.tst
    667 reverse.tst
    668 rightKernel.tst
    669 select.tst
    670 semiCMcod2.tst
    671 simplexOut.tst
    672 spmul.tst
    673 string_type_cast.tst
    674 sum.tst
    675 swap.tst
    676 sym_gauss.tst
    677 symmetricPower.tst
    678 texfactorize.tst
    679 Tor.tst
    680 U_D_O.tst
    681 view.tst
    682 watchdog.tst
    683 weierstrDiv.tst
    684 writeNmzPaths.tst
    685 ademRelations.tst
    686 AltVarStart.tst
    687 appelF1.tst
    688 areZeroElements.tst
    689 awalk2.tst
    690 blowUpBO.tst
    691 busadj.tst
    692 centerRed.tst
    693 closureFrac.tst
    694 control.tst
    695 controlExample.tst
    696 decoef.tst
    697 displayHNE.tst
    698 equidim.tst
    699 equiRadical.tst
    700 Exterior.tst
    701 exteriorPower.tst
    702 factorize.tst
    703 findimAlgebra.tst
    704 findvars.tst
    705 fitting.tst
    706 fprintf.tst
    707 gaussred_pivot.tst
    708 generalOrder.tst
    709 gmscoeffs.tst
    710 heightZ.tst
    711 Hom.tst
    712 hom_kernel.tst
    713 homology.tst
    714 identifyvar.tst
    715 image_of_variety.tst
    716 ImageVariety.tst
    717 imap_BR_PLURAL_BR.tst
    718 intersect_BR_PLURAL_BR.tst
    719 inverse_B.tst
    720 is_bijective.tst
    721 is_nested.tst
    722 is_regs.tst
    723 is_surjective.tst
    724 isIntegralSurjective.tst
    725 ivL2lpI.tst
    726 KSconvert.tst
    727 lex_solve.tst
    728 link_declarations.tst
    729 log2.tst
    730 lres.tst
    731 ludecomp.tst
    732 makeWeyl.tst
    733 mindeg1.tst
    734 minres.tst
    735 molien.tst
    736 mp_res_mat.tst
    737 newtonDiag.tst
    738 npars.tst
    739 number_declarations.tst
    740 number_operations.tst
    741 preComp.tst
    742 primary_charp_without.tst
    743 primary_charp_without_random.tst
    744 prime.tst
    745 primitive.tst
    746 primL.tst
    747 product.tst
    748 productgroup.tst
    749 quantMat.tst
    750 reiffen.tst
    751 rightNF.tst
    752 sa_poly_reduce.tst
    753 sameComponent.tst
    754 semidiv.tst
    755 separator.tst
    756 setBaseMultigrading.tst
    757 singularity.tst
    758 sppprint.tst
    759 stdhilb.tst
    760 string.tst
    761 StringF.tst
    762 stripHNE.tst
    763 sturmha.tst
    764 substitute.tst
    765 sys_code.tst
    766 texmap.tst
    767 UpperMonomials.tst
    768 vector_declarations.tst
    769 vector_expressions.tst
    770 weierstrPrep.tst
    771 weightKB.tst
    772 Writing_procedures_and_libraries.tst
    773 zerodec.tst
    774 zeroMod.tst
    775 actionIsProper.tst
    776 annfs.tst
    777 appelF4.tst
    778 arrange.tst
    779 basicinvariants.tst
    780 BlowingUp.tst
    781 blowUp.tst
    782 cleanunit.tst
    783 content.tst
    784 cornerMonomials.tst
    785 createBO.tst
    786 dec1var.tst
    787 decimal.tst
    788 defringp.tst
    789 deleteSublist.tst
    790 develop.tst
    791 DLoc0.tst
    792 equalMultiDeg.tst
    793 errormap.tst
    794 fetchall.tst
    795 finitenessTest.tst
    796 flatteningStrat.tst
    797 freerank.tst
    798 generateG.tst
    799 genericid.tst
    800 genericity.tst
    801 genMDSMat.tst
    802 getGradingGroup.tst
    803 getLattice.tst
    804 getVariableWeights.tst
    805 Graded_commutative_algebras__SCA_.tst
    806 gradiator.tst
    807 HomJJ.tst
    808 ideal_expressions.tst
    809 ideal_expressions_BR_PLURAL_BR.tst
    810 imageLattice.tst
    811 inForm.tst
    812 initialIdealW.tst
    813 intclToricRing.tst
    814 invunit.tst
    815 iostruct.tst
    816 isGroup.tst
    817 isGroupHomomorphism.tst
    818 ivMis2Dim.tst
    819 Jacobi.tst
    820 KoszulHomology.tst
    821 leftInverse.tst
    822 leftKernel.tst
    823 LengthSym.tst
    824 list_declarations.tst
    825 makeUg2.tst
    826 mat_rk.tst
    827 matrixT1.tst
    828 midpoint.tst
    829 milnorcode.tst
    830 Min.tst
    831 mres.tst
    832 nc_algebra.tst
    833 numerator.tst
    834 partial_molien.tst
    835 PH_ais.tst
    836 powersums.tst
    837 powerX.tst
    838 preimageLoc.tst
    839 primdecSY.tst
    840 projectLattice.tst
    841 puiseux2generators.tst
    842 Quotient.tst
    843 randcharpoly.tst
    844 reduction.tst
    845 ReesAlgebra.tst
    846 regIdeal.tst
    847 replace.tst
    848 ringtensor.tst
    849 ringweights.tst
    850 rm_unitcol.tst
    851 rmNmzFiles.tst
    852 rowred.tst
    853 sagbiReduce.tst
    854 Sannfslog.tst
    855 sat.tst
    856 separateHNE.tst
    857 setglobalrings.tst
    858 SymGroup.tst
    859 tail.tst
    860 texcoef.tst
    861 texring.tst
    862 vct2str.tst
    863 Weyl.tst
    864 zeroOpt.tst
    865 autonomDim.tst
    866 babyGiant.tst
    867 calculateI.tst
    868 colred.tst
    869 createTorsionFreeGroup.tst
    870 defrings.tst
    871 dimH.tst
    872 DLoc.tst
    873 elim.tst
    874 Elimination.tst
    875 expo.tst
    876 Ext.tst
    877 flatten.tst
    878 gcdMon.tst
    879 getSmallest.tst
    880 gmsring.tst
    881 intRoots.tst
    882 inverse.tst
    883 inverse_L.tst
    884 isPrimitiveSublattice.tst
    885 isSublattice.tst
    886 iv2lpList.tst
    887 ivOrdMisLex.tst
    888 linear_relations.tst
    889 list_operations.tst
    890 listvar.tst
    891 locAtZero.tst
    892 lprint.tst
    893 lusolve.tst
    894 makeModElimRing.tst
    895 map_declarations_BR_PLURAL_BR.tst
    896 matbil.tst
    897 minEcart.tst
    898 monomialLcm.tst
    899 morsesplit.tst
    900 multrow.tst
    901 NFMora.tst
    902 npar.tst
    903 opposite.tst
    904 pairset.tst
    905 powerpolyX.tst
    906 preimageLattice.tst
    907 primList.tst
    908 rel_orbit_variety.tst
    909 rightInverse.tst
    910 rightModulo.tst
    911 shiftPoly.tst
    912 spnf.tst
    913 spoly.tst
    914 syndrome.tst
    915 T_1.tst
    916 TRACE.tst
    917 vec2poly.tst
    918 A_L.tst
    919 absPrimdecGTZ.tst
    920 annfspecial.tst
    921 autonom.tst
    922 _center.tst
    923 centralizer.tst
    924 centralizerVS.tst
    925 CentralSaturation.tst
    926 convloc.tst
    927 coords.tst
    928 corank.tst
    929 createQuotientGroup.tst
    930 defineHomogeneous.tst
    931 _depth.tst
    932 displayInvariants.tst
    933 evaluate_reynolds.tst
    934 exportNuminvs.tst
    935 factorgroup.tst
    936 factorial.tst
    937 forward.tst
    938 fourier.tst
    939 getOneVar.tst
    940 iniD.tst
    941 intersection.tst
    942 intersectionValRings.tst
    943 isCMcod2.tst
    944 isFlat.tst
    945 ivDHilbert.tst
    946 ivDimCheck.tst
    947 ivMis2Base.tst
    948 ivSickle.tst
    949 lift_kbase.tst
    950 linearMapKernel.tst
    951 lpMult.tst
    952 makeMalgrange.tst
    953 makeUf4.tst
    954 makeUso6.tst
    955 makeUso8.tst
    956 makeUso9.tst
    957 minbaseMon.tst
    958 multiDegModulo.tst
    959 multiDegTensor.tst
    960 Nonhyp.tst
    961 PH_nais.tst
    962 powerN.tst
    963 primary_charp_no_molien.tst
    964 Qso3Casimir.tst
    965 regularity.tst
    966 reslist.tst
    967 roots.tst
    968 rootsModp.tst
    969 round.tst
    970 SDLoc.tst
    971 serreRelations.tst
    972 setLetterplaceAttributes.tst
    973 setModuleGrading.tst
    974 slimgb_BR_PLURAL_BR.tst
    975 SolowayStrassen.tst
    976 spmilnor.tst
    977 sres.tst
    978 StabEqnId.tst
    979 superCommutative.tst
    980 symmetricBasis.tst
    981 sysCRHT.tst
    982 testPointConic.tst
    983 testPrimary.tst
    984 Tjurina.tst
    985 vanishId.tst
    986 visualize.tst
    987 annfs2.tst
    988 annPoly.tst
    989 bernsteinBM.tst
    990 centralizerRed.tst
    991 CentralQuot.tst
    992 classify.tst
    993 controlDim.tst
    994 cyclic.tst
    995 Deformations.tst
    996 deleteGenerator.tst
    997 division_BR_PLURAL_BR.tst
    998 Ext_R.tst
    999 Finite_fields.tst
    1000 GTZopt.tst
    1001 IntersectWithSub.tst
    1002 invariant_algebra_perm.tst
    1003 invariant_basis.tst
    1004 inverseFourier.tst
    1005 isGradedRingHomomorphism.tst
    1006 isHolonomic.tst
    1007 isInt.tst
    1008 isPositive.tst
    1009 isZeroElement.tst
    1010 iv2lpMat.tst
    1011 ivHilbert.tst
    1012 lift_rel_kb.tst
    1013 liftstd_BR_PLURAL_BR.tst
    1014 _lll.tst
    1015 localInvar.tst
    1016 lp2ivId.tst
    1017 magnitude.tst
    1018 makeHeisenberg.tst
    1019 makeUgl.tst
    1020 makeUsl2.tst
    1021 makeUso5.tst
    1022 makeUsp2.tst
    1023 makeUsp4.tst
    1024 Maxord.tst
    1025 minpoly.tst
    1026 module_containment.tst
    1027 modulo_BR_PLURAL_BR.tst
    1028 moduloSlim.tst
    1029 multiDegSyzygy.tst
    1030 ndcond.tst
    1031 newTest.tst
    1032 pos_def.tst
    1033 primary_invariants_random.tst
    1034 primdecGTZ.tst
    1035 primitiveSpan.tst
    1036 qminor.tst
    1037 quotient_BR_PLURAL_BR.tst
    1038 radical.tst
    1039 rightStd.tst
    1040 ring_operations_BR_PLURAL_BR.tst
    1041 rm_unitrow.tst
    1042 rootofUnity.tst
    1043 sa_reduce.tst
    1044 scalarProd.tst
    1045 subst_BR_PLURAL_BR.tst
    1046 sumlist.tst
    1047 syz_BR_PLURAL_BR.tst
    1048 T1_and_T2.tst
    1049 T_12.tst
    1050 versal.tst
    1051 weightedRing.tst
    1052 WSemigroup.tst
    1053 zeroSet.tst
    1054 annfs0.tst
    1055 appelF2.tst
    1056 charexp2poly.tst
    1057 createGradedRingHomomorphism.tst
    1058 depthIdeal.tst
    1059 factorH.tst
    1060 fastelim.tst
    1061 fullSerreRelations.tst
    1062 H2basis.tst
    1063 invariant_basis_reynolds.tst
    1064 isAntiEndo.tst
    1065 isRational.tst
    1066 isTorsionFree.tst
    1067 linSyzSolve.tst
    1068 lpMis2Base.tst
    1069 map_BR_PLURAL_BR_operations.tst
    1070 maxEord.tst
    1071 minipoly.tst
    1072 minres_BR_PLURAL_BR.tst
    1073 mod2str.tst
    1074 mod_versal.tst
    1075 ModEqn.tst
    1076 ncdetection.tst
    1077 nf_icis.tst
    1078 noetherNormal.tst
    1079 nonZeroEntry.tst
    1080 nrroots.tst
    1081 nselect.tst
    1082 oppose.tst
    1083 orbit_variety.tst
    1084 Polar_curves.tst
    1085 power_products.tst
    1086 reynolds_molien.tst
    1087 sagbi.tst
    1088 SannfsVar.tst
    1089 scheme.tst
    1090 secondary_charp.tst
    1091 slocus.tst
    1092 std_BR_PLURAL_BR.tst
    1093 sysNewton.tst
    1094 sysQE.tst
    1095 torusInvariants.tst
    1096 Tracing_of_procedures.tst
    1097 annRat.tst
    1098 CenCharDec.tst
    1099 charexp2inter.tst
    1100 checkFactor.tst
    1101 checkRoot.tst
    1102 CurveRes.tst
    1103 ECoef.tst
    1104 extdevelop.tst
    1105 factmodd.tst
    1106 finiteDiagInvariants.tst
    1107 Free_resolution.tst
    1108 GKZsystem.tst
    1109 integralIdeal.tst
    1110 invariant_algebra_reynolds.tst
    1111 Invariants_of_plane_curve_singularities.tst
    1112 involution.tst
    1113 isFsat.tst
    1114 isVar.tst
    1115 ivSickleDim.tst
    1116 lpMis2Dim.tst
    1117 lpPower.tst
    1118 makeQsl2.tst
    1119 makeUsp1.tst
    1120 mres_BR_PLURAL_BR.tst
    1121 multiDegPartition.tst
    1122 newtonpoly.tst
    1123 normalize.tst
    1124 normalToricRing.tst
    1125 normalToricRingFromBinomials.tst
    1126 primary_char0_no_molien.tst
    1127 primary_char0_random.tst
    1128 primary_charp.tst
    1129 primary_invariants.tst
    1130 sagbiPart.tst
    1131 satiety.tst
    1132 secondary_no_molien.tst
    1133 secondary_not_cohen_macaulay.tst
    1134 StabEqn.tst
    1135 totalmultiplicities.tst
    1136 annfsRB.tst
    1137 convertdata.tst
    1138 createlist.tst
    1139 dividelist.tst
    1140 equidimZ.tst
    1141 fetch_BR_PLURAL_BR.tst
    1142 fglm_solve.tst
    1143 fl2poly.tst
    1144 fouriersystem.tst
    1145 GBWeight.tst
    1146 getModuleGrading.tst
    1147 intersectionValRingIdeals.tst
    1148 invariants.tst
    1149 ivKDim.tst
    1150 lieBracket.tst
    1151 lp2iv.tst
    1152 makeQsl3.tst
    1153 makeUso7.tst
    1154 minAssGTZ.tst
    1155 mindist.tst
    1156 multiplylist.tst
    1157 nonMonomials.tst
    1158 nt_solve.tst
    1159 poly2list.tst
    1160 posweight.tst
    1161 preimage_BR_PLURAL_BR.tst
    1162 primary_char0_no_molien_random.tst
    1163 primary_charp_no_molien_random.tst
    1164 primary_charp_random.tst
    1165 pushForward.tst
    1166 Right_Groebner_bases_and_syzygies.tst
    1167 Sannfs.tst
    1168 Saturation.tst
    1169 secondary_and_irreducibles_no_molien.tst
    1170 sturmquery.tst
    1171 symsignature.tst
    1172 verify.tst
    1173 ArnoldAction.tst
    1174 charVariety.tst
    1175 cup.tst
    1176 divideUnits.tst
    1177 exp2pt.tst
    1178 Gamma.tst
    1179 irred_secondary_no_molien.tst
    1180 isCM.tst
    1181 ivDHilbertSickle.tst
    1182 ivSickleHil.tst
    1183 lp2lstr.tst
    1184 makeUsl.tst
    1185 makeUsp3.tst
    1186 makeUsp5.tst
    1187 multiDeg.tst
    1188 normalform.tst
    1189 normaliz.tst
    1190 prepareAss.tst
    1191 restrictionIdeal.tst
    1192 secondary_char0.tst
    1193 sickle.tst
    1194 annfsParamBM.tst
    1195 bFactor.tst
    1196 bfctVarIn.tst
    1197 countPoints.tst
    1198 findAuto.tst
    1199 findInvoDiag.tst
    1200 invariant_ring.tst
    1201 letplaceGBasis.tst
    1202 linReduceIdeal.tst
    1203 lpId2ivLi.tst
    1204 lpKDim.tst
    1205 lst2str.tst
    1206 makeLetterplaceRing.tst
    1207 makeUso11.tst
    1208 number_pi.tst
    1209 pnormalform.tst
    1210 primary_char0.tst
    1211 restrictionModule.tst
    1212 smith.tst
    1213 spsemicont.tst
    1214 Basic_programming.tst
    1215 bernstein.tst
    1216 bfctVarAnn.tst
    1217 displayMultsequence.tst
    1218 Edatalist.tst
    1219 Emaxcont.tst
    1220 freeGBasis.tst
    1221 goodBasis.tst
    1222 integralModule.tst
    1223 invariant_ring_random.tst
    1224 Invariants_of_a_finite_group.tst
    1225 isCI.tst
    1226 isInvolution.tst
    1227 linReduce.tst
    1228 makeQso3.tst
    1229 makeUso10.tst
    1230 makeUso12.tst
    1231 minIntRoot.tst
    1232 number_e.tst
    1233 operatorModulo.tst
    1234 param.tst
    1235 PrimdecB.tst
    1236 resfunction.tst
    1237 zeroRadical.tst
    1238 bernsteinLift.tst
    1239 determinecenter.tst
    1240 Gauss-Manin_connection_1.tst
    1241 KSpencerKernel.tst
    1242 lpSickleHil.tst
    1243 makeUe6.tst
    1244 orthogonalize.tst
    1245 pIntersect.tst
    1246 Adj_div.tst
    1247 annfsBMI.tst
    1248 EOrdlist.tst
    1249 findInvo.tst
    1250 _invariantRing.tst
    1251 lpHilbert.tst
    1252 lpOrdMisLex.tst
    1253 sheafCoh.tst
    1254 sheafCohBGG.tst
    1255 charInfo.tst
    1256 _delta.tst
    1257 G_a_-Invariants.tst
    1258 lpDHilbert.tst
    1259 lpSickle.tst
    1260 multiDegGroebner.tst
    1261 multsequence.tst
    1262 nres_BR_PLURAL_BR.tst
    1263 sppairs.tst
    1264 alexanderpolynomial.tst
    1265 deltaLoc.tst
    1266 esStratum.tst
    1267 Example_of_use_of_@sc{Letterplace}.tst
    1268 findifs_example.tst
    1269 Gauss-Manin_connection.tst
    1270 lcmofall.tst
    1271 lpDimCheck.tst
    1272 modDec.tst
    1273 nashmult.tst
    1274 normalI.tst
    1275 PrimdecA.tst
    1276 spectrum.tst
    1277 vwfilt.tst
    1278 constructH.tst
    1279 lpDHilbertSickle.tst
    1280 lpSickleDim.tst
    1281 monodromyB.tst
    1282 semigroup.tst
    1283 signcnd.tst
    1284 sqr.tst
    1285 sysFL.tst
    1286 wurzel.tst
    1287 belongSemigroup.tst
    1288 Blowupcenter.tst
    1289 changeDenominator.tst
    1290 hnexpansion.tst
    1291 sysCRHTMindist.tst
    12927; tex.tst
    1293 bfctIdeal.tst
    1294 computemcm.tst
    1295 cupproduct.tst
    1296 isHomogeneous.tst
    1297 jacobson.tst
    1298 minAssZ.tst
    1299 monodromy.tst
    1300 pIntersectSyz.tst
    1301 primeClosure.tst
    1302 resolutiongraph.tst
    1303 testNCfac.tst
    13048timer.tst
    1305 tmatrix.tst
    1306 vfilt.tst
    1307 integralBasis.tst
    1308 rationalPointConic.tst
    1309 ShanksMestre.tst
    1310 bfctSyz.tst
    1311 constructlastblwup.tst
    1312 difpoly2tex.tst
    1313 Groebner_basis_conversion.tst
    1314 makeUe7.tst
    1315 MillerRabin.tst
    1316 tau_es2.tst
    1317 Classification_of_hypersurface_singularities.tst
    1318 constructblwup.tst
    1319 nrRootsDeterm.tst
    13209; rmx.tst
    1321 slim_Groebner_bases.tst
    132210; xdvi.tst
    1323 endvfilt.tst
    1324 genoutput.tst
    1325 lpNF.tst
    1326 radicalZ.tst
    1327 firstoct.tst
    1328 hilbertSeries.tst
    1329 initialMalgrange.tst
    1330 Primary_decomposition.tst
    1331 proximitymatrix.tst
    1332 qepcad.tst
    1333 qepcadsystem.tst
    1334 jOft.tst
    1335 multiDegResolution.tst
    1336 decodeCode.tst
    1337 all_lib.tst
    1338 normalP.tst
    1339 modStd.tst
    1340 bfct.tst
    1341 decodeRandomFL.tst
    1342 Normalization.tst
    1343 rncItProjOdd.tst
    1344 Branches_of_space_curve_singularities.tst
    1345 tau_es.tst
    1346 AGcode_Omega.tst
    1347 CurveParam.tst
    1348 groebner_and_std.tst
    1349 pFactor.tst
    1350 AGcode_L.tst
    1351 normalC.tst
    1352 NSplaces.tst
    1353 salida.tst
    1354 algebraicDependence.tst
    1355 facGBIdeal.tst
    1356 jungfib.tst
    1357 BrillNoether.tst
    1358 grobcov.tst
    1359 nrRootsProbab.tst
    1360 esIdeal.tst
    1361 extcurve.tst
    1362 factorLenstraECM.tst
    1363 normal.tst
    1364 BINresol.tst
    1365 operatorBM.tst
    1366 decodeRandom.tst
    1367 buildtreetoMaple.tst
    1368 cgsdr.tst
    1369 decode.tst
    1370 Eresol.tst
    137111;;multiDegBasis.tst
    1372 norTest.tst
    1373 Weierstrass.tst
    1374 ellipticAllPoints.tst
    1375 isEquising.tst
    1376 psigncnd.tst
    1377 disc.tst
    1378 primdecZ.tst
    1379 irreddecMon.tst
    1380 decodeSV.tst
    1381 solve.tst
    1382 prepSV.tst
    1383 cgs.tst
    1384 sysBin.tst
    1385 makeUe8.tst
    1386 cgsdrold.tst
    1387 euler.tst
    1388 realzero.tst
    1389 Solving_systems_of_polynomial_equations.tst
    1390 adjointIdeal.tst
    1391 idealSplit.tst
    1392 resolve.tst
    1393 HilbertClassPoly.tst
    1394 standard.tst
    1395 primdecMon.tst
    1396 mapToRatNormCurve.tst
    1397 testParametrization.tst
    1398 realpoly.tst
    1399 rncAntiCanonicalMap.tst
    1400 rncItProjEven.tst
    1401 invertBirMap.tst
    1402 paraConic.tst
    1403 irred_secondary_char0.tst
    1404 jungnormal.tst
    1405 deRhamCohom.tst
    1406 gencase1.tst
    1407 deRhamCohomIdeal.tst
    1408 realrad.tst
    1409 abstractR.tst
    1410 jungresolve.tst
    1411 discrepancy.tst
    1412 cantreetoMaple.tst
    1413 perron.tst
    1414 homogfacFirstQWeyl_all.tst
    1415 homogfacFirstQWeyl.tst
    1416 rank.tst
    1417 collectDiv.tst
    1418 Schoof.tst
    1419 paraPlaneCurve.tst
    1420 intersectionDiv.tst
    1421 bfctOneGB.tst
    1422 facFirstWeyl.tst
    1423 prepEmbDiv.tst
    1424 facSubWeyl.tst
    1425 AG_codes.tst
    1426 Resolution_of_singularities.tst
    1427 quadraticSieve.tst
    142812timeStd.tst
    1429 assPrimes.tst
    1430 facFirstShift.tst
    1431 spectralNeg.tst
    1432 grobcovold.tst
    1433 SannfsBFCT.tst
  • doc/Building-Singular-from-source.md

    r8396b41 r7cdd912  
    1111
    12121. as prerequisite autotools (>=2.62), [gmp](http://ftp.gnu.org/gnu/gmp/) (>= 4.2), are needed, furthermore we recommend to use [NTL](http://www.shoup.net/ntl/) (>= 5.0) configured with NTL_GMP_LIP=on (for further details see [NTL Documentation](http://www.shoup.net/ntl/doc/tour-gmp.html)), [FLINT](http://www.flintlib.org/) (>=2.4) which depends on [MPFR](http://www.mpfr.org/mpfr-current/) (>=3.0.0)  , and readline
    13 1. get the sources with `git clone -b spielwiese git://github.com/Singular/Sources.git <directory_name>`
    14 1. run `<abs_directory_name_from_above>/autogen.sh` (formerly known as `for_Hans_with_love.sh`) from the root directory
    15 1. create and switch to your temporary build directory. Do not build Singular in the source folder itself!
    16 1. run `<abs_directory_name_from_above>/configure --prefix=<destination path>` (builds release version)
    17 1. `make` (or `make -jN` where N is the number of the your CPU cores + 1)
    18 1. `make -jN check` (where N is as above) will build and run simple unit-tests for most units (optional but encouraged)
    19 1. `make install`
    20 1. developers are also encouraged to run `make distcheck`
     132. get the sources with `git clone -b spielwiese git://github.com/Singular/Sources.git <directory_name>`
     143. run `<abs_directory_name_from_above>/autogen.sh` (formerly known as `for_Hans_with_love.sh`) from the root directory
     154. create and switch to your temporary build directory. Do not build Singular in the source folder itself!
     165. run `<abs_directory_name_from_above>/configure --prefix=<destination path>` (builds release version)
     176. `make` (or `make -jN` where N is the number of the your CPU cores + 1)
     187. `make -jN check` (where N is as above) will build and run simple unit-tests for most units (optional but encouraged)
     198. `make install`
     209. developers are also encouraged to run `make distcheck`
    2121
    2222## Static variants of Singular may be built using the following configure flags:
     
    4747* the test-suites from Tst/ can be run, for example, as follows:
    4848  1. `cd Tst/`
    49   1. `ln -s <abs_destination path>/bin/Singular`
    50   1. after the above symbolic-linking one can simply run `./regress.cmd something.{lst,tst}`, where .lst files are just lists of tests, which are .tst files
     49  2. `ln -s <abs_destination path>/bin/Singular`
     50  3. after the above symbolic-linking one can simply run `./regress.cmd something.{lst,tst}`, where .lst files are just lists of tests, which are .tst files
    5151
    5252# Build the old ```master``` Singular as follows:
    5353
    54541. get the sources with `git clone -b trunk git://github.com/Singular2/Sources.git <directory_name>`
    55 1. `cd <directory_name_from_above>`
    56 1. run `./configure` from the root directory
    57 1. `make install` (or `make -jN install`, where N as above), and _yes_ it should really be `install`!
    58 1. everything will be put to the newly created directory "$Architecture-$OS/" (e.g. x86_64-Linux, ix86-Linux etc.)
     552. `cd <directory_name_from_above>`
     563. run `./configure` from the root directory
     574. `make install` (or `make -jN install`, where N as above), and _yes_ it should really be `install`!
     585. everything will be put to the newly created directory "$Architecture-$OS/" (e.g. x86_64-Linux, ix86-Linux etc.)
    5959
    6060# Coverage testing with `lcov` (thanks to Jakob Kroeker)
    6161
    62621. make sure that `gcov` is present and install a recent lcov (>= 1.10)
    63 1. configure and build `Spielwiese` (IN SOURCE TREE!) together with the following FLAGS:
     632. configure and build `Spielwiese` (IN SOURCE TREE!) together with the following FLAGS:
    6464```
    6565LDFLAGS+="-lgcov"
     
    6767CXXFLAGS+="-fprofile-arcs -ftest-coverage -g"
    6868```
    69 1. if necessary clean-up lcov-state-files with: `lcov -z -d . `
    70 1. run tests (e.g. `Tst/regress.cmd -s Singular/Singular Tst/Short.lst`)
    71 1. collect coverage data into `coverage.cov` with `lcov -c -d . -o coverage.cov`
    72 1. optionally remove unnecessary directories: `lcov -r coverage.cov '/usr/include/*' > coverage2.cov`
    73 1. generate HTML overview pages under `GenHtmlDir/` with `genhtml -o GenHtmlDir coverage.cov`
     693. if necessary clean-up lcov-state-files with: `lcov -z -d . `
     704. run tests (e.g. `Tst/regress.cmd -s Singular/Singular Tst/Short.lst`)
     715. collect coverage data into `coverage.cov` with `lcov -c -d . -o coverage.cov`
     726. optionally remove unnecessary directories: `lcov -r coverage.cov '/usr/include/ *' > coverage2.cov`
     737. generate HTML overview pages under `GenHtmlDir/` with `genhtml -o GenHtmlDir coverage.cov`
    7474
    7575For instance, a recent test coverage for Singular
  • dox/Doxyfile.in

    r8396b41 r7cdd912  
    3333# The default value is: My Project.
    3434
    35 PROJECT_NAME           = Singular
     35PROJECT_NAME           =
    3636
    3737# The PROJECT_NUMBER tag can be used to enter a project or revision number. This
     
    5252# to the output directory.
    5353
    54 PROJECT_LOGO           =
     54PROJECT_LOGO           = $(abs_top_srcdir)/dox/logo.png
    5555
    5656# The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) path
     
    153153# This tag requires that the tag FULL_PATH_NAMES is set to YES.
    154154
    155 STRIP_FROM_PATH        = $(abs_top_srcdir)
     155STRIP_FROM_PATH        = $(abs_top_srcdir) $(abs_top_builddir)
    156156
    157157# The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of the
     
    162162# using the -I flag.
    163163
    164 STRIP_FROM_INC_PATH    =
     164STRIP_FROM_INC_PATH    = libpolys
    165165
    166166# If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter (but
     
    342342# The default value is: NO.
    343343
    344 DISTRIBUTE_GROUP_DOC   = NO
     344DISTRIBUTE_GROUP_DOC   = YES
    345345
    346346# Set the SUBGROUPING tag to YES to allow class member groups of the same type
     
    362362# The default value is: NO.
    363363
    364 INLINE_GROUPED_CLASSES = NO
     364INLINE_GROUPED_CLASSES = YES
    365365
    366366# When the INLINE_SIMPLE_STRUCTS tag is set to YES, structs, classes, and unions
     
    506506# The default value is: NO.
    507507
    508 HIDE_SCOPE_NAMES       = YES
     508HIDE_SCOPE_NAMES       = NO
    509509
    510510# If the SHOW_INCLUDE_FILES tag is set to YES then doxygen will put a list of
     
    519519# The default value is: NO.
    520520
    521 SHOW_GROUPED_MEMB_INC  = NO
     521SHOW_GROUPED_MEMB_INC  = YES
    522522
    523523# If the FORCE_LOCAL_INCLUDES tag is set to YES then doxygen will list include
     
    673673# tag is left empty.
    674674
    675 LAYOUT_FILE            =
     675LAYOUT_FILE            = $(abs_top_srcdir)/dox/DoxygenLayout.xml
    676676
    677677# The CITE_BIB_FILES tag can be used to specify one or more bib files containing
     
    755755# Note: If this tag is empty the current directory is searched.
    756756
    757 INPUT                  = $(abs_top_srcdir)/omalloc/ \
     757INPUT                  = \
     758                         $(abs_top_srcdir)/README.md \
     759                         $(abs_top_srcdir)/main.dox \
     760                         $(abs_top_srcdir)/doc/ \
     761                         $(abs_top_srcdir)/omalloc/ \
    758762                         $(abs_top_srcdir)/resources/ \
    759                          $(abs_top_srcdir)/factory/ \
    760763                         $(abs_top_srcdir)/kernel/ \
    761764                         $(abs_top_srcdir)/libpolys/ \
    762765                         $(abs_top_srcdir)/Singular/ \
    763766                         $(abs_top_srcdir)/templates/ \
    764                          $(abs_top_srcdir)/doc/ \
    765                          $(abs_top_srcdir)/README.md $(abs_top_srcdir)/main.dox
     767                         $(abs_top_srcdir)/factory/
    766768
    767769# This tag can be used to specify the character encoding of the source files
     
    788790                         *.cpp \
    789791                         *.cxx \
    790                          *.dox *.md
     792                         *.dox \
     793                         *.md
    791794
    792795# The RECURSIVE tag can be used to specify whether or not subdirectories should
     
    10621065# This tag requires that the tag GENERATE_HTML is set to YES.
    10631066
    1064 HTML_HEADER            =
     1067HTML_HEADER            = $(abs_top_srcdir)/dox/header.html
    10651068
    10661069# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
     
    10721075# This tag requires that the tag GENERATE_HTML is set to YES.
    10731076
    1074 HTML_FOOTER            =
     1077HTML_FOOTER            = $(abs_top_srcdir)/dox/footer.html
    10751078
    10761079# The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
     
    10951098# This tag requires that the tag GENERATE_HTML is set to YES.
    10961099
    1097 HTML_EXTRA_STYLESHEET  =
     1100HTML_EXTRA_STYLESHEET  = $(abs_top_srcdir)/dox/stylesheet.css
    10981101
    10991102# The HTML_EXTRA_FILES tag can be used to specify one or more extra images or
     
    11161119# This tag requires that the tag GENERATE_HTML is set to YES.
    11171120
    1118 HTML_COLORSTYLE_HUE    = 220
     1121HTML_COLORSTYLE_HUE    = 200
    11191122
    11201123# The HTML_COLORSTYLE_SAT tag controls the purity (or saturation) of the colors
     
    11241127# This tag requires that the tag GENERATE_HTML is set to YES.
    11251128
    1126 HTML_COLORSTYLE_SAT    = 100
     1129HTML_COLORSTYLE_SAT    = 0
    11271130
    11281131# The HTML_COLORSTYLE_GAMMA tag controls the gamma correction applied to the
     
    11351138# This tag requires that the tag GENERATE_HTML is set to YES.
    11361139
    1137 HTML_COLORSTYLE_GAMMA  = 80
     1140HTML_COLORSTYLE_GAMMA  = 210
    11381141
    11391142# If the HTML_TIMESTAMP tag is set to YES then the footer of each generated HTML
     
    11431146# This tag requires that the tag GENERATE_HTML is set to YES.
    11441147
    1145 HTML_TIMESTAMP         = NO
     1148HTML_TIMESTAMP         = YES
    11461149
    11471150# If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
     
    11511154# This tag requires that the tag GENERATE_HTML is set to YES.
    11521155
    1153 HTML_DYNAMIC_SECTIONS  = NO
     1156HTML_DYNAMIC_SECTIONS  = YES
    11541157
    11551158# With HTML_INDEX_NUM_ENTRIES one can control the preferred number of entries
     
    16301633# Note: Only use a user-defined header if you know what you are doing! The
    16311634# following commands have a special meaning inside the header: $title,
    1632 # $datetime, $date, $doxygenversion, $projectname, $projectnumber. Doxygen will
    1633 # replace them by respectively the title of the page, the current date and time,
    1634 # only the current date, the version number of doxygen, the project name (see
    1635 # PROJECT_NAME), or the project number (see PROJECT_NUMBER).
     1635# $datetime, $date, $doxygenversion, $projectname, $projectnumber,
     1636# $projectbrief, $projectlogo. Doxygen will replace $title with the empy string,
     1637# for the replacement values of the other commands the user is refered to
     1638# HTML_HEADER.
    16361639# This tag requires that the tag GENERATE_LATEX is set to YES.
    16371640
     
    16401643# The LATEX_FOOTER tag can be used to specify a personal LaTeX footer for the
    16411644# generated LaTeX document. The footer should contain everything after the last
    1642 # chapter. If it is left blank doxygen will generate a standard footer.
     1645# chapter. If it is left blank doxygen will generate a standard footer. See
     1646# LATEX_HEADER for more information on how to generate a default footer and what
     1647# special commands can be used inside the footer.
    16431648#
    16441649# Note: Only use a user-defined footer if you know what you are doing!
     
    16641669PDF_HYPERLINKS         = YES
    16651670
    1666 # If the LATEX_PDFLATEX tag is set to YES, doxygen will use pdflatex to generate
     1671# If the USE_PDFLATEX tag is set to YES, doxygen will use pdflatex to generate
    16671672# the PDF file directly from the LaTeX files. Set this option to YES to get a
    16681673# higher quality PDF documentation.
     
    18511856DOCBOOK_OUTPUT         = docbook
    18521857
     1858# If the DOCBOOK_PROGRAMLISTING tag is set to YES doxygen will include the
     1859# program listings (including syntax highlighting and cross-referencing
     1860# information) to the DOCBOOK output. Note that enabling this will significantly
     1861# increase the size of the DOCBOOK output.
     1862# The default value is: NO.
     1863# This tag requires that the tag GENERATE_DOCBOOK is set to YES.
     1864
     1865DOCBOOK_PROGRAMLISTING = NO
     1866
    18531867#---------------------------------------------------------------------------
    18541868# Configuration options for the AutoGen Definitions output
     
    19331947# This tag requires that the tag ENABLE_PREPROCESSING is set to YES.
    19341948
    1935 SEARCH_INCLUDES        = NO
     1949SEARCH_INCLUDES        = YES
    19361950
    19371951# The INCLUDE_PATH tag can be used to specify one or more directories that
     
    19501964# This tag requires that the tag ENABLE_PREPROCESSING is set to YES.
    19511965
    1952 INCLUDE_FILE_PATTERNS  = 
     1966INCLUDE_FILE_PATTERNS  =
    19531967
    19541968# The PREDEFINED tag can be used to specify one or more macro names that are
     
    20862100DOT_NUM_THREADS        = 0
    20872101
    2088 # When you want a differently looking font n the dot files that doxygen
     2102# When you want a differently looking font in the dot files that doxygen
    20892103# generates you can specify the font name using DOT_FONTNAME. You need to make
    20902104# sure dot is able to find the font, which can be done by putting it in a
     
    21322146# This tag requires that the tag HAVE_DOT is set to YES.
    21332147
    2134 GROUP_GRAPHS           = NO
     2148GROUP_GRAPHS           = YES
    21352149
    21362150# If the UML_LOOK tag is set to YES doxygen will generate inheritance and
     
    22402254# This tag requires that the tag HAVE_DOT is set to YES.
    22412255
    2242 INTERACTIVE_SVG        = NO
     2256INTERACTIVE_SVG        = YES
    22432257
    22442258# The DOT_PATH tag can be used to specify the path where the dot tool can be
     
    22892303# This tag requires that the tag HAVE_DOT is set to YES.
    22902304
    2291 MAX_DOT_GRAPH_DEPTH    = 2
     2305MAX_DOT_GRAPH_DEPTH    = 3
    22922306
    22932307# Set the DOT_TRANSPARENT tag to YES to generate images with a transparent
  • factory/cfModGcd.cc

    rea1479 r7cdd912  
    584584  topLevel= false;
    585585  bool inextension= false;
    586   Variable V_buf= alpha;
     586  Variable V_buf= alpha, V_buf4= alpha;
    587587  CanonicalForm prim_elem, im_prim_elem;
     588  CanonicalForm prim_elem_alpha, im_prim_elem_alpha;
    588589  CFList source, dest;
    589590  int bound1= degree (ppA, 1);
     
    601602      bool prim_fail= false;
    602603      Variable V_buf2;
    603       prim_elem= primitiveElement (alpha, V_buf2, prim_fail);
    604 
    605       if (V_buf3 != alpha)
    606       {
    607         m= mapDown (m, prim_elem, im_prim_elem, alpha, source, dest);
    608         G_m= mapDown (G_m, prim_elem, im_prim_elem, alpha, source, dest);
    609         coF_m= mapDown (coF_m, prim_elem, im_prim_elem, alpha, source, dest);
    610         coG_m= mapDown (coG_m, prim_elem, im_prim_elem, alpha, source, dest);
    611         newtonPoly= mapDown (newtonPoly, prim_elem, im_prim_elem, alpha,
     604      prim_elem= primitiveElement (V_buf4, V_buf2, prim_fail);
     605      if (V_buf4 == alpha)
     606        prim_elem_alpha= prim_elem;
     607
     608      if (V_buf3 != V_buf4)
     609      {
     610        m= mapDown (m, prim_elem, im_prim_elem, V_buf4, source, dest);
     611        G_m= mapDown (G_m, prim_elem, im_prim_elem, V_buf4, source, dest);
     612        coF_m= mapDown (coF_m, prim_elem, im_prim_elem, V_buf4, source, dest);
     613        coG_m= mapDown (coG_m, prim_elem, im_prim_elem, V_buf4, source, dest);
     614        newtonPoly= mapDown (newtonPoly, prim_elem, im_prim_elem, V_buf4,
    612615                             source, dest);
    613         ppA= mapDown (ppA, prim_elem, im_prim_elem, alpha, source, dest);
    614         ppB= mapDown (ppB, prim_elem, im_prim_elem, alpha, source, dest);
    615         gcdlcAlcB= mapDown (gcdlcAlcB, prim_elem, im_prim_elem, alpha,
     616        ppA= mapDown (ppA, prim_elem, im_prim_elem, V_buf4, source, dest);
     617        ppB= mapDown (ppB, prim_elem, im_prim_elem, V_buf4, source, dest);
     618        gcdlcAlcB= mapDown (gcdlcAlcB, prim_elem, im_prim_elem, V_buf4,
    616619                            source, dest);
    617         lcA= mapDown (lcA, prim_elem, im_prim_elem, alpha, source, dest);
    618         lcB= mapDown (lcB, prim_elem, im_prim_elem, alpha, source, dest);
     620        lcA= mapDown (lcA, prim_elem, im_prim_elem, V_buf4, source, dest);
     621        lcB= mapDown (lcB, prim_elem, im_prim_elem, V_buf4, source, dest);
    619622        for (CFListIterator i= l; i.hasItem(); i++)
    620           i.getItem()= mapDown (i.getItem(), prim_elem, im_prim_elem, alpha,
     623          i.getItem()= mapDown (i.getItem(), prim_elem, im_prim_elem, V_buf4,
    621624                                source, dest);
    622625      }
     
    626629        ; //ERROR
    627630      else
    628         im_prim_elem= mapPrimElem (prim_elem, alpha, V_buf);
    629 
    630       DEBOUTLN (cerr, "getMipo (alpha)= " << getMipo (alpha));
     631        im_prim_elem= mapPrimElem (prim_elem, V_buf4, V_buf);
     632
     633      if (V_buf4 == alpha)
     634        im_prim_elem_alpha= im_prim_elem;
     635      else
     636        im_prim_elem_alpha= mapUp (im_prim_elem_alpha, V_buf4, V_buf, prim_elem,
     637                                   im_prim_elem, source, dest);
     638      DEBOUTLN (cerr, "getMipo (V_buf4)= " << getMipo (V_buf4));
    631639      DEBOUTLN (cerr, "getMipo (V_buf2)= " << getMipo (V_buf2));
    632640      inextension= true;
    633641      for (CFListIterator i= l; i.hasItem(); i++)
    634         i.getItem()= mapUp (i.getItem(), alpha, V_buf, prim_elem,
     642        i.getItem()= mapUp (i.getItem(), V_buf4, V_buf, prim_elem,
    635643                             im_prim_elem, source, dest);
    636       m= mapUp (m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    637       G_m= mapUp (G_m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    638       coF_m= mapUp (coF_m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    639       coG_m= mapUp (coG_m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    640       newtonPoly= mapUp (newtonPoly, alpha, V_buf, prim_elem, im_prim_elem,
     644      m= mapUp (m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     645      G_m= mapUp (G_m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     646      coF_m= mapUp (coF_m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     647      coG_m= mapUp (coG_m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     648      newtonPoly= mapUp (newtonPoly, V_buf4, V_buf, prim_elem, im_prim_elem,
    641649                          source, dest);
    642       ppA= mapUp (ppA, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    643       ppB= mapUp (ppB, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    644       gcdlcAlcB= mapUp (gcdlcAlcB, alpha, V_buf, prim_elem, im_prim_elem,
     650      ppA= mapUp (ppA, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     651      ppB= mapUp (ppB, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     652      gcdlcAlcB= mapUp (gcdlcAlcB, V_buf4, V_buf, prim_elem, im_prim_elem,
    645653                         source, dest);
    646       lcA= mapUp (lcA, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    647       lcB= mapUp (lcB, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
     654      lcA= mapUp (lcA, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     655      lcB= mapUp (lcB, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
    648656
    649657      fail= false;
     
    659667                            "time for recursive call: ");
    660668      DEBOUTLN (cerr, "G_random_element= " << G_random_element);
     669      V_buf4= V_buf;
    661670    }
    662671    else
     
    684693      {
    685694        CFList u, v;
    686         ppA= mapDown (ppA, prim_elem, im_prim_elem, alpha, u, v);
    687         ppB= mapDown (ppB, prim_elem, im_prim_elem, alpha, u, v);
     695        ppA= mapDown (ppA, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
     696        ppB= mapDown (ppB, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
    688697      }
    689698      coF= N (ppA*(cA/gcdcAcB));
     
    753762          CFList u, v;
    754763          DEBOUTLN (cerr, "ppH before mapDown= " << ppH);
    755           ppH= mapDown (ppH, prim_elem, im_prim_elem, alpha, u, v);
    756           ppCoF= mapDown (ppCoF, prim_elem, im_prim_elem, alpha, u, v);
    757           ppCoG= mapDown (ppCoG, prim_elem, im_prim_elem, alpha, u, v);
     764          ppH= mapDown (ppH, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
     765          ppCoF= mapDown (ppCoF, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
     766          ppCoG= mapDown (ppCoG, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
    758767          DEBOUTLN (cerr, "ppH after mapDown= " << ppH);
    759768          coF= N ((cA/gcdcAcB)*ppCoF);
     
    14411450                            "time for recursive call: ");
    14421451      DEBOUTLN (cerr, "G_random_element= " << G_random_element);
     1452      alpha= V_buf;
    14431453    }
    14441454
     
    21932203  CFArray gcds= CFArray (biggestSize);
    21942204  CFList * pEvalPoints= new CFList [biggestSize];
    2195   Variable V_buf= alpha;
     2205  Variable V_buf= alpha, V_buf4= alpha;
    21962206  CFList source, dest;
    21972207  CanonicalForm prim_elem, im_prim_elem;
     2208  CanonicalForm prim_elem_alpha, im_prim_elem_alpha;
    21982209  for (int i= 0; i < biggestSize; i++)
    21992210  {
     
    22132224        do
    22142225        {
    2215           Variable V_buf2= chooseExtension (V_buf);
     2226          Variable V_buf3= V_buf;
     2227          V_buf= chooseExtension (V_buf);
    22162228          source= CFList();
    22172229          dest= CFList();
    22182230
    22192231          bool prim_fail= false;
    2220           Variable V_buf3;
    2221           prim_elem= primitiveElement (V_buf, V_buf3, prim_fail);
     2232          Variable V_buf2;
     2233          prim_elem= primitiveElement (V_buf4, V_buf2, prim_fail);
     2234          if (V_buf4 == alpha && alpha.level() != 1)
     2235            prim_elem_alpha= prim_elem;
    22222236
    22232237          ASSERT (!prim_fail, "failure in integer factorizer");
     
    22252239            ; //ERROR
    22262240          else
    2227             im_prim_elem= mapPrimElem (prim_elem, V_buf, V_buf2);
     2241            im_prim_elem= mapPrimElem (prim_elem, V_buf4, V_buf);
    22282242
    22292243          DEBOUTLN (cerr, "getMipo (alpha)= " << getMipo (V_buf));
    22302244          DEBOUTLN (cerr, "getMipo (alpha)= " << getMipo (V_buf2));
    22312245
     2246          if (V_buf4 == alpha && alpha.level() != 1)
     2247            im_prim_elem_alpha= im_prim_elem;
     2248          else if (alpha.level() != 1)
     2249            im_prim_elem_alpha= mapUp (im_prim_elem_alpha, V_buf4, V_buf,
     2250                                       prim_elem, im_prim_elem, source, dest);
     2251
    22322252          for (CFListIterator j= list; j.hasItem(); j++)
    2233             j.getItem()= mapUp (j.getItem(), V_buf, V_buf2, prim_elem,
     2253            j.getItem()= mapUp (j.getItem(), V_buf4, V_buf, prim_elem,
    22342254                                im_prim_elem, source, dest);
    22352255          for (int k= 0; k < i; k++)
    22362256          {
    22372257            for (CFListIterator j= pEvalPoints[k]; j.hasItem(); j++)
    2238               j.getItem()= mapUp (j.getItem(), V_buf, V_buf2, prim_elem,
     2258              j.getItem()= mapUp (j.getItem(), V_buf4, V_buf, prim_elem,
    22392259                                  im_prim_elem, source, dest);
    2240             gcds[k]= mapUp (gcds[k], V_buf, V_buf2, prim_elem, im_prim_elem,
     2260            gcds[k]= mapUp (gcds[k], V_buf4, V_buf, prim_elem, im_prim_elem,
    22412261                            source, dest);
    22422262          }
     
    22442264          if (alpha.level() != 1)
    22452265          {
    2246             A= mapUp (A, V_buf, V_buf2, prim_elem, im_prim_elem, source,dest);
    2247             B= mapUp (B, V_buf, V_buf2, prim_elem, im_prim_elem, source,dest);
     2266            A= mapUp (A, V_buf4, V_buf, prim_elem, im_prim_elem, source,dest);
     2267            B= mapUp (B, V_buf4, V_buf, prim_elem, im_prim_elem, source,dest);
    22482268          }
     2269          V_buf4= V_buf;
    22492270          evalFail= false;
    22502271          evalPoints= evaluationPoints (A, B, Aeval, Beval, LCA, GF, V_buf,
     
    22642285          deg++;
    22652286        } while (evalFail);
     2287        V_buf4= V_buf;
    22662288      }
    22672289    }
     
    23602382  {
    23612383    CFList u, v;
    2362     result= mapDown (result, prim_elem, im_prim_elem, alpha, u, v);
     2384    result= mapDown (result, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
    23632385  }
    23642386
     
    24652487  CFArray gcds= CFArray (biggestSize);
    24662488  CFList * pEvalPoints= new CFList [biggestSize];
    2467   Variable V_buf= alpha;
     2489  Variable V_buf= alpha, V_buf4= alpha;
    24682490  CFList source, dest;
    24692491  CanonicalForm prim_elem, im_prim_elem;
     2492  CanonicalForm prim_elem_alpha, im_prim_elem_alpha;
    24702493  for (int i= 0; i < biggestSize; i++)
    24712494  {
     
    24842507          do
    24852508          {
    2486             Variable V_buf2= chooseExtension (V_buf);
     2509            Variable V_buf3= V_buf;
     2510            V_buf= chooseExtension (V_buf);
    24872511            source= CFList();
    24882512            dest= CFList();
    24892513
    24902514            bool prim_fail= false;
    2491             Variable V_buf3;
    2492             prim_elem= primitiveElement (V_buf, V_buf3, prim_fail);
     2515            Variable V_buf2;
     2516            prim_elem= primitiveElement (V_buf4, V_buf2, prim_fail);
     2517            if (V_buf4 == alpha && alpha.level() != 1)
     2518              prim_elem_alpha= prim_elem;
    24932519
    24942520            ASSERT (!prim_fail, "failure in integer factorizer");
     
    24962522              ; //ERROR
    24972523            else
    2498               im_prim_elem= mapPrimElem (prim_elem, V_buf, V_buf2);
    2499 
    2500             DEBOUTLN (cerr, "getMipo (alpha)= " << getMipo (V_buf));
    2501             DEBOUTLN (cerr, "getMipo (alpha)= " << getMipo (V_buf2));
     2524              im_prim_elem= mapPrimElem (prim_elem, V_buf4, V_buf);
     2525
     2526            DEBOUTLN (cerr, "getMipo (V_buf)= " << getMipo (V_buf));
     2527            DEBOUTLN (cerr, "getMipo (V_buf2)= " << getMipo (V_buf2));
     2528
     2529            if (V_buf4 == alpha && alpha.level() != 1)
     2530              im_prim_elem_alpha= im_prim_elem;
     2531            else if (alpha.level() != 1)
     2532              im_prim_elem_alpha= mapUp (im_prim_elem_alpha, V_buf4, V_buf,
     2533                                         prim_elem, im_prim_elem, source, dest);
    25022534
    25032535            for (CFListIterator i= list; i.hasItem(); i++)
    2504               i.getItem()= mapUp (i.getItem(), V_buf, V_buf2, prim_elem,
     2536              i.getItem()= mapUp (i.getItem(), V_buf4, V_buf, prim_elem,
    25052537                                im_prim_elem, source, dest);
     2538            if (alpha.level() != 1)
     2539            {
     2540              A= mapUp (A, V_buf4, V_buf, prim_elem, im_prim_elem, source,dest);
     2541              B= mapUp (B, V_buf4, V_buf, prim_elem, im_prim_elem, source,dest);
     2542            }
    25062543            evalFail= false;
     2544            V_buf4= V_buf;
    25072545            evalPoints= evaluationPoints (A, B, Aeval, Beval, LCA, GF, V_buf,
    25082546                                          evalFail, list);
     
    25212559            deg++;
    25222560          } while (evalFail);
     2561          V_buf4= V_buf;
    25232562        }
    25242563      }
     
    28212860    for (int i= 0; i < skelSize; i++)
    28222861    {
     2862      if (coeffMonoms[i].size() + 1 >= pMat[i].rows() || coeffMonoms[i].size() + 1 >= pMat[i].columns())
     2863      {
     2864        delete[] pEvalPoints;
     2865        delete[] pMat;
     2866        delete[] pL;
     2867        delete[] coeffMonoms;
     2868        delete[] pM;
     2869        if (bufpEvalPoints != NULL)
     2870          delete [] bufpEvalPoints;
     2871        fail= true;
     2872        return 0;
     2873      }
    28232874      bufMat= pMat[i] (coeffMonoms[i].size() + 1, pMat[i].rows(),
    28242875                       coeffMonoms[i].size() + 1, pMat[i].columns());
     
    28702921    {
    28712922      CFList u, v;
    2872       result= mapDown (result, prim_elem, im_prim_elem, alpha, u, v);
     2923      result= mapDown (result,prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
    28732924    }
    28742925    result= N(result);
     
    30443095  topLevel= false;
    30453096  bool inextension= false;
    3046   Variable V_buf= alpha;
     3097  Variable V_buf= alpha, V_buf4= alpha;
    30473098  CanonicalForm prim_elem, im_prim_elem;
     3099  CanonicalForm prim_elem_alpha, im_prim_elem_alpha;
    30483100  CFList source, dest;
    30493101  do // first do
     
    30653117      bool prim_fail= false;
    30663118      Variable V_buf2;
    3067       prim_elem= primitiveElement (alpha, V_buf2, prim_fail);
    3068 
    3069       if (V_buf3 != alpha)
    3070       {
    3071         m= mapDown (m, prim_elem, im_prim_elem, alpha, source, dest);
    3072         G_m= mapDown (m, prim_elem, im_prim_elem, alpha, source, dest);
    3073         newtonPoly= mapDown (newtonPoly, prim_elem, im_prim_elem, alpha,
     3119      prim_elem= primitiveElement (V_buf4, V_buf2, prim_fail);
     3120      if (V_buf4 == alpha)
     3121        prim_elem_alpha= prim_elem;
     3122
     3123      if (V_buf3 != V_buf4)
     3124      {
     3125        m= mapDown (m, prim_elem, im_prim_elem, V_buf4, source, dest);
     3126        G_m= mapDown (m, prim_elem, im_prim_elem, V_buf4, source, dest);
     3127        newtonPoly= mapDown (newtonPoly, prim_elem, im_prim_elem, V_buf4,
    30743128                             source, dest);
    3075         ppA= mapDown (ppA, prim_elem, im_prim_elem, alpha, source, dest);
    3076         ppB= mapDown (ppB, prim_elem, im_prim_elem, alpha, source, dest);
    3077         gcdlcAlcB= mapDown (gcdlcAlcB, prim_elem, im_prim_elem, alpha, source,
     3129        ppA= mapDown (ppA, prim_elem, im_prim_elem, V_buf4, source, dest);
     3130        ppB= mapDown (ppB, prim_elem, im_prim_elem, V_buf4, source, dest);
     3131        gcdlcAlcB= mapDown (gcdlcAlcB, prim_elem, im_prim_elem, V_buf4, source,
    30783132                            dest);
    30793133        for (CFListIterator i= l; i.hasItem(); i++)
    3080           i.getItem()= mapDown (i.getItem(), prim_elem, im_prim_elem, alpha,
     3134          i.getItem()= mapDown (i.getItem(), prim_elem, im_prim_elem, V_buf4,
    30813135                                source, dest);
    30823136      }
     
    30863140        ; //ERROR
    30873141      else
    3088         im_prim_elem= mapPrimElem (prim_elem, alpha, V_buf);
    3089 
    3090       DEBOUTLN (cerr, "getMipo (alpha)= " << getMipo (alpha));
     3142        im_prim_elem= mapPrimElem (prim_elem, V_buf4, V_buf);
     3143
     3144      if (V_buf4 == alpha)
     3145        im_prim_elem_alpha= im_prim_elem;
     3146      else
     3147        im_prim_elem_alpha= mapUp (im_prim_elem_alpha, V_buf4, V_buf, prim_elem,
     3148                                   im_prim_elem, source, dest);
     3149
     3150      DEBOUTLN (cerr, "getMipo (V_buf4)= " << getMipo (V_buf4));
    30913151      DEBOUTLN (cerr, "getMipo (V_buf2)= " << getMipo (V_buf2));
    30923152      inextension= true;
    30933153      for (CFListIterator i= l; i.hasItem(); i++)
    3094         i.getItem()= mapUp (i.getItem(), alpha, V_buf, prim_elem,
     3154        i.getItem()= mapUp (i.getItem(), V_buf4, V_buf, prim_elem,
    30953155                             im_prim_elem, source, dest);
    3096       m= mapUp (m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3097       G_m= mapUp (G_m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3098       newtonPoly= mapUp (newtonPoly, alpha, V_buf, prim_elem, im_prim_elem,
     3156      m= mapUp (m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3157      G_m= mapUp (G_m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3158      newtonPoly= mapUp (newtonPoly, V_buf4, V_buf, prim_elem, im_prim_elem,
    30993159                          source, dest);
    3100       ppA= mapUp (ppA, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3101       ppB= mapUp (ppB, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3102       gcdlcAlcB= mapUp (gcdlcAlcB, alpha, V_buf, prim_elem, im_prim_elem,
     3160      ppA= mapUp (ppA, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3161      ppB= mapUp (ppB, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3162      gcdlcAlcB= mapUp (gcdlcAlcB, V_buf4, V_buf, prim_elem, im_prim_elem,
    31033163                         source, dest);
    31043164
     
    31143174                            "time for recursive call: ");
    31153175      DEBOUTLN (cerr, "G_random_element= " << G_random_element);
     3176      V_buf4= V_buf;
    31163177    }
    31173178    else
     
    31743235        {
    31753236          DEBOUTLN (cerr, "ppH before mapDown= " << ppH);
    3176           ppH= mapDown (ppH, prim_elem, im_prim_elem, alpha, u, v);
     3237          ppH= mapDown (ppH, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
    31773238          ppH /= Lc(ppH);
    31783239          DEBOUTLN (cerr, "ppH after mapDown= " << ppH);
     
    32113272          bool prim_fail= false;
    32123273          Variable V_buf2;
    3213           prim_elem= primitiveElement (alpha, V_buf2, prim_fail);
    3214 
    3215           if (V_buf3 != alpha)
     3274          prim_elem= primitiveElement (V_buf4, V_buf2, prim_fail);
     3275          if (V_buf4 == alpha)
     3276            prim_elem_alpha= prim_elem;
     3277
     3278          if (V_buf3 != V_buf4)
    32163279          {
    3217             m= mapDown (m, prim_elem, im_prim_elem, alpha, source, dest);
    3218             G_m= mapDown (m, prim_elem, im_prim_elem, alpha, source, dest);
    3219             newtonPoly= mapDown (newtonPoly, prim_elem, im_prim_elem, alpha,
     3280            m= mapDown (m, prim_elem, im_prim_elem, V_buf4, source, dest);
     3281            G_m= mapDown (m, prim_elem, im_prim_elem, V_buf4, source, dest);
     3282            newtonPoly= mapDown (newtonPoly, prim_elem, im_prim_elem, V_buf4,
    32203283                                 source, dest);
    3221             ppA= mapDown (ppA, prim_elem, im_prim_elem, alpha, source, dest);
    3222             ppB= mapDown (ppB, prim_elem, im_prim_elem, alpha, source, dest);
    3223             gcdlcAlcB= mapDown (gcdlcAlcB, prim_elem, im_prim_elem, alpha,
     3284            ppA= mapDown (ppA, prim_elem, im_prim_elem, V_buf4, source, dest);
     3285            ppB= mapDown (ppB, prim_elem, im_prim_elem, V_buf4, source, dest);
     3286            gcdlcAlcB= mapDown (gcdlcAlcB, prim_elem, im_prim_elem, V_buf4,
    32243287                                source, dest);
    32253288            for (CFListIterator i= l; i.hasItem(); i++)
    3226               i.getItem()= mapDown (i.getItem(), prim_elem, im_prim_elem, alpha,
     3289              i.getItem()= mapDown (i.getItem(), prim_elem, im_prim_elem, V_buf4,
    32273290                                    source, dest);
    32283291          }
     
    32323295            ; //ERROR
    32333296          else
    3234             im_prim_elem= mapPrimElem (prim_elem, alpha, V_buf);
    3235 
    3236           DEBOUTLN (cerr, "getMipo (alpha)= " << getMipo (alpha));
     3297            im_prim_elem= mapPrimElem (prim_elem, V_buf4, V_buf);
     3298
     3299          if (V_buf4 == alpha)
     3300            im_prim_elem_alpha= im_prim_elem;
     3301          else
     3302            im_prim_elem_alpha= mapUp (im_prim_elem_alpha, V_buf4, V_buf,
     3303                                       prim_elem, im_prim_elem, source, dest);
     3304
     3305          DEBOUTLN (cerr, "getMipo (V_buf4)= " << getMipo (V_buf4));
    32373306          DEBOUTLN (cerr, "getMipo (V_buf2)= " << getMipo (V_buf2));
    32383307          inextension= true;
    32393308          for (CFListIterator i= l; i.hasItem(); i++)
    3240             i.getItem()= mapUp (i.getItem(), alpha, V_buf, prim_elem,
     3309            i.getItem()= mapUp (i.getItem(), V_buf4, V_buf, prim_elem,
    32413310                                im_prim_elem, source, dest);
    3242           m= mapUp (m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3243           G_m= mapUp (G_m, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3244           newtonPoly= mapUp (newtonPoly, alpha, V_buf, prim_elem, im_prim_elem,
     3311          m= mapUp (m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3312          G_m= mapUp (G_m, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3313          newtonPoly= mapUp (newtonPoly, V_buf4, V_buf, prim_elem, im_prim_elem,
    32453314                              source, dest);
    3246           ppA= mapUp (ppA, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3247           ppB= mapUp (ppB, alpha, V_buf, prim_elem, im_prim_elem, source, dest);
    3248 
    3249           gcdlcAlcB= mapUp (gcdlcAlcB, alpha, V_buf, prim_elem, im_prim_elem,
     3315          ppA= mapUp (ppA, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3316          ppB= mapUp (ppB, V_buf4, V_buf, prim_elem, im_prim_elem, source, dest);
     3317
     3318          gcdlcAlcB= mapUp (gcdlcAlcB, V_buf4, V_buf, prim_elem, im_prim_elem,
    32503319                            source, dest);
    32513320
     
    32553324          CFList list;
    32563325          TIMING_START (gcd_recursion);
     3326
     3327          V_buf4= V_buf;
    32573328
    32583329          //sparseInterpolation
     
    33473418            {
    33483419              DEBOUTLN (cerr, "ppH before mapDown= " << ppH);
    3349               ppH= mapDown (ppH, prim_elem, im_prim_elem, alpha, u, v);
     3420              ppH= mapDown (ppH, prim_elem_alpha, im_prim_elem_alpha, alpha, u, v);
    33503421              ppH /= Lc(ppH);
    33513422              DEBOUTLN (cerr, "ppH after mapDown= " << ppH);
     
    35693640                            "time for recursive call: ");
    35703641      DEBOUTLN (cerr, "G_random_element= " << G_random_element);
     3642      alpha= V_buf;
    35713643    }
    35723644
     
    36503722            G_random_element=
    36513723            monicSparseInterpol(ppA(random_element, x), ppB (random_element, x),
    3652                                 skeleton, Variable(1), sparseFail, coeffMonoms,
     3724                                skeleton, x, sparseFail, coeffMonoms,
    36533725                                Monoms);
    36543726          else
    36553727            G_random_element=
    36563728            nonMonicSparseInterpol(ppA(random_element,x), ppB(random_element,x),
    3657                                     skeleton, Variable (1), sparseFail,
     3729                                    skeleton, x, sparseFail,
    36583730                                    coeffMonoms, Monoms);
    36593731          TIMING_END_AND_PRINT (gcd_recursion,
     
    37773849                                "time for recursive call: ");
    37783850          DEBOUTLN (cerr, "G_random_element= " << G_random_element);
     3851          alpha= V_buf;
    37793852        }
    37803853
  • libpolys/coeffs/bigintmat.cc

    r8396b41 r7cdd912  
    182182  return bim;
    183183}
    184 bigintmat * bimAdd(bigintmat * a, int b) //WHY????
    185 {
    186 
    187   Werror("this does not make any sense bim + int called");
    188   return 0;
     184bigintmat * bimAdd(bigintmat * a, int b)
     185{
     186
    189187  const int mn = a->rows()*a->cols();
    190188
     
    223221bigintmat * bimSub(bigintmat * a, int b)
    224222{
    225 
    226   Werror("this does not make any sense bim + int called");
    227   return 0;
    228223  const int mn = a->rows()*a->cols();
    229224
  • main.dox

    r8396b41 r7cdd912  
    128128*/
    129129/*!
    130 \dir ./factory/
     130\dir ./factory
    131131\ref factory_page
    132132*/
     
    139139/*!
    140140\page copying_page COPYING
     141This is the Singular copying agreement
     142
    141143\verbinclude COPYING
    142144*/
Note: See TracChangeset for help on using the changeset viewer.