Index: Tst/Long/ok_l.lst
===================================================================
--- Tst/Long/ok_l.lst	(revision 1ed86cb72e1ab73da24e5b2690e172addcdc93f7)
+++ Tst/Long/ok_l.lst	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -44,4 +44,5 @@
 res_l
 resultantp_l
+rinvar
 sing_l
 solve_l
@@ -50,2 +51,5 @@
 triang_l
 tst_l
+zeroset
+zeroset1
+
Index: Tst/Long/rinvar.res.gz.uu
===================================================================
--- Tst/Long/rinvar.res.gz.uu	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/rinvar.res.gz.uu	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,67 @@
+begin 640 rinvar.res.gz
+M'XL("##Z-#H``W)I;G9A<BYR97,`K1IK;^2X[?O^"F&Q0.<]UL.O+"[HW1XN
+M&/3V4#3;?BF:PLDXB7'SR-F>W9W^^NI)4;)GNP$:(#%-D11%4B0EY_;3SYO?
+M""'TFJS7Y%/=]>279E>3QV-+_O2?NCUV=;_:-?=OW]Q:2K92E&US^%RUJ[[K
+M88#K`7@5^G6S?]G5^_K05WUS/)#[,[DBGYZ/^ZHC/U7GN@7R5)-_.+6M)"8_
+M;MNZZZY@-#/"#EW?]*>>/)[J5KY))?=2[N\+J?C#\Z'I'IYK\O=#\[ENNZ:O
+MZIY\/-4'B3R`H%P+^O+ERY5\(<]]_W*U7LO7?75N5PU(7/6GY=[RKK;U^D5*
+M/![JP_I>*=VO05ZAY=7[JMG)E9G1/S<'R;^7?$!6*C+W1A/-]&LEC?WP7!V>
+M:H6B;,62)`$B&IB3&K-_:9N^KP^D.9!>KO6QK?8U.3[JEVWSLI.&57#7=&12
+M;3\WW;&](G]MCX\K<B,U6WZLVE[RWK3UJ=Y-0;AQW=L/Q_W+R7BJ4U+WQ^UI
+MUY#NI7JH-:*K]\T?IZIKI`>/3_7A>.I(UQR>3KM**M9(HNJPE;\@V`0!:<(H
+MD!K<6BZ(*VH"X,?VOF[Z[JD]O;S4Y,?=4WW?5L:Q-_5Q7_=M4R_(+]7#\WW=
+MULW#,_E8R06;,`!9)ER"2/B+E")?=M6IKUNOH(Z'_^L/B):A`;#T_Z^;G\A;
+MN5_T;GKO1EAR;4;LAM*#Q/X`D=R=`,M`D%+^W1R:?C)]_T8]R?6UVY"'^LNJ
+MDV8&<GYMR)\.Q[:>O/WPCUNR^9F\VVROWKV=OB=OI)W\^!7!XR!#7"-=4K\L
+M9NQ<?ZV4?PD%?(YHI!FD;D_DEOQ`DL6DF]#52DP7I%=`-I70]L6;H[PFS;:N
+M=N1&DDO:*5D2NI`04Q";=1.N`"X!H=2W?#QQ?-6##C'#/.N5A+EFES";+AP:
+M@=Q0<`4+CT9@:BB$@C./SJ:@-T<>XM)#1A?I$JG(;Z?=[H-,'I.;A5$.L4GO
+M2"+EQ<__I/_Z0<G4,%.P,#!7,(/-RJ4W?F]V.W+KQ:0J>RLW*M>?N@F:0;K(
+M:X;\PHO`=PSPI:<1R8CO:.*<QR/G"60$`4:XX=H9^73>30KUIYPNZ4)94\*I
+M^I,9!#>PIV!`41@$G2X58JE9-%;1SM50.;UC^FVA\#,+90`59KP`;&&$Z_&+
+M4E-#J7DT?S9U6`MI;.KM+3@.X!NN@R69WG$5QYY*C(5K,IU-5,#.U$KGRN<S
+M;005HCKPU9282@!5"E39@"H'J@*HRBE2.45ND^&RK1_))ZG11B64ICKT?Y,A
+M@(,7]KG(KV5)Z'6(?/+R"AW45=OIN)9/$]IVW^D=YP:8&;AC>F@.,#>PQMZQ
+M.9^%[&Z0JT%#X_#,X=T4W$[!K10W%WKC4SR#%)G%\\&PG]'(8X$$ADCD@SL=
+MA-4AF],U,_.F1HO@74H1:ZN7<+H$&"T[=1BK`)_GZRS`6)4B]"B_4M//86QS
+M)SRKQ1C2.0N0S$F,J$?%<B76+=?PI\"()T'R@FDXYN:*6X\ZF[+(AFQ@,398
+M,1NHQI!P^<@@J&5A>FJ/IY=F^_Z-!518V]V]I(!D"@GI"-!<H6UF`J0P2)N:
+M`)TJ=)@P82Q38UDD)S=(FZ(`72@TSG%S2'Z#;`=,)3`AC6@"6"2?4H.U2=#C
+MM0W"!.\'M27"9.\'M47"Q.\'M5TN%0'GJ33QZ2R53714*U-FRZ=/6"F_6#Y3
+MX:MABCJ?-.Q\..!1A4TO=#Y?%^?I`I7-M!SO7;[.==MRUJ51O\D&Y`QL68(J
+M36?2NICJLND@'?L*E@XR]5.7$4TS,L)TY3#>5".Z2,O8MM)LR='#U)LH0U4_
+M8Z\I'QD?*Q^9&"L?7Z6^9Y_498"I_?K5[MOSG0#V]-)&A;6$6]4:+MRH@>7"
+M[<HB^M0@Q^@S$Z_8;.&6M0X)-ZSU1;@AD5M@I1DR?#X(]*P8!'I67@ST//&!
+MF],@N,&T.4,T?"2XN>L,1=09YB)NZ^_$TK;U#N(:\BSIZ*ZX8S-C[9EQDJX'
+MMB./!UR/;WG\``\'+(_N^?W\R+IY_AUA[6B+L:#.RTL]41#32@,9RKASX0@A
+MS$G`(U+45T$UUNOP85(DES:$L7BX&UB(XS;V%,[)0_N]8(.P*_@@[`IQ,>P*
+MF5-)?-PM,A]G11[$8@IX=+HN2A2+DV112?="MM7QR&P\`DN)BD1)5Q?/CG-_
+M<K0AHG'"X&`9)0OC6]H_74(2-NE8F/@3\\E2S"H;C=SF!HEDLVJ>!>CYI%I2
+M"%N3P.83R;QD(5:Q5\LT0"K4W*(<;X;>)`^7,W)$,1=F2"R%UI89C.Z7L-)L
+M7&D6*SVF\HC",Z@O)L%Q;U:.O"1>4UK*=&P7EMGE76CW4'PP$?-PQ\D-L;S4
+MP]LF%&;+OU&)TN^K1"AHQN+CNV/A&Z[&U6WH]3$'?X<[P^H(G@73%,BQ99Q#
+M:)+$.80F]%(.H8DO2S3A0;K(`"\031J4+ILJJ#S0GW'M\O2^$M`D=[EB0TV>
+MT(TLU;TNU2TKU=<97#?=<_60!P3SI/:IV]MQ1J$94T.8F4=N'L6WN&RW;6B8
+M5\,VVOHL0:GE\I<KN@%7^FF9MA-TO7=I)S1H>[J@^MZ#:E];6""8.9C-[&F'
+M9E:G&6(VHE+$;F#J8*;7/8-%4D3D>BF!6`2:1-A%>6Z&X`0I12V\U/BEQBPU
+MO9%OE#2KUO=!EEO/G/O)"@]F?JK"@YF?-/=SZC\Y'&(&$_H(+UQYV3`9=6SF
+M).*E"NL`8QR&C,.LW[T'$H1'[BL\^I+O;!\JGUX.17)2+X?ZY;+('M@C^;A#
+MD%VP4P)WY/$\PV!)K+Z)UROQ'F&1]W`$(9]!T`2'3ALR.%@"O=`\2$6!5(PC
+M!H(V"(X@-%V,Z'FR>)Y!//AK3]A1A5]SZ"$V"R/F%?XRO.DKO.=C&TZ_&XYC
+M&ZD9.HS-P@!^A?L,KWBM,[4)<V/"S-ZHCCL9Z?9:EV/=7A$`_E;:&2A*.A2O
+M=N;$H/`?SV/%T.'?F:PHOI>097*Q88L-]\/^^$`I&W3>9[C_/L/]]]G=?TM(
+MV';1TJ5`EP%=#G0R[)W`$@B5RRPEI4"J$J:;FWM:X6E33^L__%#*T7)>TZ)2
+M.M:B4CK:HIZ=0;0V6@_4J"[+M9B=S14!U=<A:B&*/'CEX:MTH.%CB(^%A"P@
+MY(B0!R,BO&\_F_OV=)U9M;2H\)U'[\*_6YWD.UJ*8PE1(1>/N/B01'>K9W-K
+M;M`LTH=%^K!(,AM*9D@R]Y)Y)(DC,A%^':#.@^H^RSK%@=R#^G;`1<K%XP7J
+MU<(#!F3HZ'SO&[+PJ@M29=3.NRP5773YQBRZY1KOD:-;+Q;/55JT:VBBRV@H
+M\]%U-)2PZ#H:M2[17730*Z)2;QMCW&'BCI$.>DZ7?"_WD-%%-Y3J^(X[&:PA
+M0WB\@MQ]@[!MCA\IS(>(.5J(41)?J9?P62*(EL2CD1*,CG^O8,Q\L(C\P;A'
+MLT$E";N0PINN^*:ET]%VPL\I_)S(3"SUZ`1K`36\0&,T1EB]@!CH<*SX5MAY
+MS^OK,,M09'`:0;YC&:B+S9P;K.U'/+Z`;T+A<6-I3WBHQ(^[0`Q<\,W@9:6?
+M$-]7)![-QO0H8G,+[^_AOF.>9-"7^3FIGQ-U-FC9B7=TYMTH/.@^-$5*8.>&
+MJN"V.$AL;!:G-LZ\>LB_G`,:^9<+P"+O\G3\XQ[/S,>W.3AY'GTOXSE\AHLO
+M!CQ-`5_CXDL"3U/"1[GXPL#7BP0N>N).\7^>K!F4M`(U4\-K(3:\%D+_&449
+DN@=B','FG]#JPQ8P*1K-S/]3V6LE.GW_CKSY+TE0J4@6*0``
+`
+end
Index: Tst/Long/rinvar.stat
===================================================================
--- Tst/Long/rinvar.stat	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/rinvar.stat	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,4 @@
+1 >> tst_memory_0 :: 976550448:2000120815:1-3-10:ix86-Linux:nepomuck:272616
+1 >> tst_memory_1 :: 976550448:2000120815:1-3-10:ix86-Linux:nepomuck:1967828
+1 >> tst_memory_2 :: 976550448:2000120815:1-3-10:ix86-Linux:nepomuck:1967828
+1 >> tst_timer_1 :: 976550448:2000120815:1-3-10:ix86-Linux:nepomuck:8214
Index: Tst/Long/rinvar.tst
===================================================================
--- Tst/Long/rinvar.tst	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/rinvar.tst	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,126 @@
+// Test File for 'zeroset.lib"
+// rinvar.tst
+// 
+// Implementation by : Thomas Bayer
+// Current Adress:
+// Institut fuer Informatik, Technische Universitaet Muenchen
+// www:    http://wwwmayr.informatik.tu-muenchen.de/personen/bayert/
+// email : bayert@in.tum.de
+//
+// Last change 10.12.2000
+// 
+// written in the frame of the diploma thesis (advisor: Prof. Gert-Martin Greuel)
+// "Computations of moduli spaces of semiquasihomogenous singularities and an
+//  implementation in Singular"
+// Arbeitsgruppe Algebraische Geometrie, Fachbereich Mathematik,
+// Universitaet Kaiserslautern
+///////////////////////////////////////////////////////////////////////////////
+
+LIB "tst.lib";
+LIB "rinvar.lib";        
+
+tst_init();
+tst_ignore("CVS ID $Id: rinvar.tst,v 1.1 2000-12-11 16:07:30 Singular Exp $"); 
+ 
+
+// example 1
+
+ring S = 0,(s(1..4), t(1..6)), dp;
+ideal G = s(1) - 1, s(2) - 2*s(3) - 3*s(4); 
+ideal action = s(1)*t(1) + s(2)*t(2), s(1)*t(2), s(1)*t(3) + s(3)*t(4), s(1)*t(4), s(1)*t(5) + s(4)*t(6), s(1)*t(6);
+
+ideal inv = NullCone(G,action);
+inv;
+kill S;
+//tst_status();
+ 
+
+// example 2
+
+ring S = 0,(s(1..10), t(1..3)), dp;
+
+ideal G3 = s(7)+s(8)+s(9)-1,s(4)+s(5)+s(6)-1,s(3)+s(6)+s(9)-1,s(2)+s(5)+s(8)-1,s(1)-s(5)-s(6)-s(8)-s(9)+1,s(9)^2-s(9),s(8)*s(9),s(6)*s(9),s(8)^2-s(8),s(6)*s(8)+s(5)*s(9)-s(5)-s(6)-s(8)-s(9)+1,s(5)*s(8),s(6)^2-s(6),s(5)*s(6),s(5)^2-s(5);
+ideal G = G3, s(10)^3 - 1;
+ideal action = s(10)*(t(1)*s(1)+t(2)*s(2)+t(3)*s(3)),s(10)*(t(1)*s(4)+t(2)*s(5)+t(3)*s(6)),s(10)*(t(1)*s(7)+t(2)*s(8)+t(3)*s(9));
+
+def T = InvariantRing(G,action);
+setring T;
+invars;
+groupid;
+
+kill S;
+kill T;
+//tst_status();
+
+
+// example 3
+
+ring S = 0,(s(1..4),x,y),dp;
+ideal action = s(1)*x+s(2)*y,s(3)*x+s(4)*y;
+ideal G =s(3)*s(4),s(2)*s(4),s(3)^2+s(4)^2-1,s(1)*s(3),s(2)^2+s(4)^2-1,s(1)*s(2),s(1)^2-s(4)^2,s(4)^3-s(4),s(1)*s(4)^2-s(1);
+
+def T = InvariantRing(G,action);
+setring T;
+invars;
+groupid;
+
+kill S;
+kill T;
+//tst_status();
+
+// example 4
+
+ring S = 0,(s(1..3), t(1..4)), dp;
+ideal G = s(1)^4-1, s(2)^4-1, s(3)^4-1;
+ideal action = s(1)^2*s(2)^2*s(3)^2*t(1), s(1)*s(2)^2*s(3)^2*t(2), s(1)^2*s(2)*s(3)^2*t(3), s(1)^2*s(2)^2*s(3)*t(4);
+
+def T = InvariantRing(G,action);
+setring T;
+invars;
+groupid;
+
+kill S;
+kill T;
+//tst_status();
+         
+
+// example 5
+
+ring S = (0,a), (s(1..4),t(1..2)), dp; 
+
+ideal action = s(1)*t(1)+s(2)*t(2),s(3)*t(1)+s(4)*t(2);
+ideal G = s(4)^5-s(4),s(3)*s(4),4*s(3)^4+(-4*a)*s(3)^3*s(4)^2+(-2*a+6)*s(3)^3*s(4)+(a-1)*s(3)^2*s(4)^3+(4*a-2)*s(3)^2*s(4)^2+(-a-5)*s(3)^2*s(4)+(-a+5)*s(3)*s(4)^3+6*s(3)*s(4)^2+(3*a+3)*s(3)*s(4)+4*s(4)^4-4,4*s(2)+4*s(3)^3+(-4*a)*s(3)^2*s(4)^2+(-2*a+6)*s(3)^2*s(4)+(a-1)*s(3)*s(4)^3+(4*a-2)*s(3)*s(4)^2+(-a-5)*s(3)*s(4),s(1)-s(4)^3;
+
+def T = InvariantRing(G,action);
+setring T;
+invars;
+groupid;
+
+kill S;
+kill T;
+//tst_status();
+
+// example 6
+
+ring S = 0, (s(1..16),y(1..4)), dp; 
+
+ideal I1 = s(13)+s(14)+s(15)+s(16)-1,3*s(9)+3*s(10)+3*s(11)+3*s(12)+s(13)+s(14)+s(15)+s(16)-4,3*s(5)+3*s(6)+3*s(7)+3*s(8)+s(13)+s(14)+s(15)+s(16)-4,s(4)+s(8)+s(12)+s(16)-1,s(3)+s(7)+s(11)+s(15)-1,s(2)+s(6)+s(10)+s(14)-1,s(1)+s(5)+s(9)+s(13)-1,s(16)^2-s(16),s(15)*s(16),s(14)*s(16),s(12)*s(16),2*s(8)*s(16)+s(12)*s(16),s(15)^2-s(15),s(14)*s(15),s(11)*s(15),2*s(7)*s(15)+s(11)*s(15),s(14)^2-s(14),s(11)*s(14)+s(12)*s(14)+s(10)*s(15)+s(12)*s(15)+s(10)*s(16)+s(11)*s(16)-s(10)-s(11)-s(12)-s(14)-s(15)-s(16)+1,s(10)*s(14),s(7)*s(14)+s(8)*s(14)+s(6)*s(15)+s(8)*s(15)+s(6)*s(16)+s(7)*s(16)-s(6)-s(7)-s(8)-s(14)-s(15)-s(16)+1;
+ideal I2 = 2*s(6)*s(14)+s(10)*s(14),s(12)^2-s(12),s(11)*s(12)+s(15)*s(16),s(10)*s(12)+s(14)*s(16),s(8)*s(12)+s(8)*s(16)+s(12)*s(16),s(11)^2-s(11),s(10)*s(11)+s(14)*s(15),s(8)*s(11)+s(7)*s(12)+s(8)*s(15)+s(12)*s(15)+s(7)*s(16)+s(11)*s(16)-s(7)-s(8)-s(11)-s(12)-s(15)-s(16)+1,s(7)*s(11)+s(7)*s(15)+s(11)*s(15),s(10)^2-s(10),s(8)*s(10)+s(6)*s(12)+s(8)*s(14)+s(12)*s(14)+s(6)*s(16)+s(10)*s(16)-s(6)-s(8)-s(10)-s(12)-s(14)-s(16)+1,s(7)*s(10)+s(6)*s(11)+s(7)*s(14)+s(11)*s(14)+s(6)*s(15)+s(10)*s(15)-s(6)-s(7)-s(10)-s(11)-s(14)-s(15)+1,s(6)*s(10)+s(6)*s(14)+s(10)*s(14),s(8)^2-s(8),2*s(7)*s(8)+s(8)*s(11)+s(7)*s(12)+2*s(11)*s(12)+s(8)*s(15)+s(12)*s(15)+s(7)*s(16)+s(11)*s(16)+2*s(15)*s(16)-s(7)-s(8)-s(11)-s(12)-s(15)-s(16)+1;
+ideal I3 = 2*s(6)*s(8)+s(8)*s(10)+s(6)*s(12)+2*s(10)*s(12)+s(8)*s(14)+s(12)*s(14)+s(6)*s(16)+s(10)*s(16)+2*s(14)*s(16)-s(6)-s(8)-s(10)-s(12)-s(14)-s(16)+1,s(7)^2-s(7),2*s(6)*s(7)+s(7)*s(10)+s(6)*s(11)+2*s(10)*s(11)+s(7)*s(14)+s(11)*s(14)+s(6)*s(15)+s(10)*s(15)+2*s(14)*s(15)-s(6)-s(7)-s(10)-s(11)-s(14)-s(15)+1,s(6)^2-s(6),s(6)*s(12)*s(15)+s(6)*s(11)*s(16)-s(6)*s(11)-s(6)*s(12)+s(7)*s(14)+s(8)*s(14)+s(8)*s(15)+s(7)*s(16)-s(7)-s(8)-s(14)-s(15)-s(16)+1;
+ideal G = I1,I2,I3;
+
+ideal action = y(1)*s(1)+y(2)*s(2)+y(3)*s(3)+y(4)*s(4),y(1)*s(5)+y(2)*s(6)+y(3)*s(7)+y(4)*s(8), y(1)*s(9)+y(2)*s(10)+y(3)*s(11)+y(4)*s(12),y(1)*s(13)+y(2)*s(14)+y(3)*s(15)+y(4)*s(16);
+
+def T = InvariantRing(G,action);
+setring T;
+invars;
+groupid;
+
+kill S;
+kill T;
+
+
+
+// end
+
+tst_status(1);$ 
Index: Tst/Long/zeroset.res.gz.uu
===================================================================
--- Tst/Long/zeroset.res.gz.uu	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/zeroset.res.gz.uu	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,94 @@
+begin 640 zeroset.res.gz
+M'XL("%'[-#H``WIE<F]S970N<F5S`-U=;6_C-A+^GE\A+`J<'5FQ^*:7!`VN
+MUZ+%XMK#H=N[#U<TA7:CW36:V#G;Z<;Y]4>*$D52&HI,XV!["S31RSQ##F?(
+M&<Y0Z9N?OGG]CRB*T&6T7$8_U;M]].WJIH[>;[;17Q[K[697[\]N5F]?G;QI
+M*?$9IU1W1-Q%KV_O;NK;>KVO]JO-.GI[B,ZCGSYN;JM=]+?J4&\5.6W(O[[?
+M;NO].OKJ>EOO=N?J+9/,UKO]:G^_C][?UUM^Q[MRR_G^MN#=>_=QO=J]^UA'
+M_UJO?J^WN]6^JO?1#_?UFC]<*T99P^C3IT_G_";ZN-_?G2^7_/:V.FS/5HKC
+MV?X^N6VQ9]?U\HYSW*SK]?*MZ/2^ES)O^-6WU>J&2R;?_G6UYOA;CE-DA3$T
+M90/ZON)#^NYCM?Y01R@]0_@,IVG:$?$G@DC=(MGQ[6J_K]?1:AWMN:SOM]5M
+M'6W>-S?7J[L;/K#B>K?:1;/J^O?5;K,]C_ZYW;P_B[[C/4M^J+9[COUN6]_7
+M-W/%O-%<].KKS>W=O=343G"]W5S?WZRBW5WUKFX>[.K;U7_OJ]V*:W#SH5YO
+M[G?1;K7^<']3\8ZM.%&UON;_*<;2"**5:06\!V]:E+(>)`W@J^W;>K7??=C>
+MW]W5T5<W'^JWVTHJ]KMZ<UOOMZMZ$7U;O?OXMM[6JW<?HQ\J+K`T`\5+FHMA
+M"7_G7/C-376_K[=]!QM[>-9_BC4W#77-]?_]Z[]%K_8[.6<NU)OR4K[19]1%
+MU/WKR'!ZV5]S4^!\?EVM5_O9_.)$_(XN+Z..P[K^=+;C(ZWH\:6D_[#>;.O9
+MJZ___29Z_4WTQ>OK\R]>S2^B$SY4_?OS2'^O>!"M?=H+AN5(UP^5T'"$U/-,
+MH^$#L>7JCGZ,OHS2Q>QA<5@\SA?1S9T:!5Q<1JOKNKJ)7G.:!YR@Q8'P'X\)
+M?NB)RKX/A,^.Z_I]](:3_X?+_:;>SU[SL5`=('S9V@EKX>V^42P('XK;U?IN
+M<W.X.)E5.*YBI&8!(:(3?#RO?T:_?/F($RHN\2]?BJZ(2_++E_CT(7E4`*H&
+M_>*$8\Y/N,9^%6!.WUQR<'O%L0D^X0]&B69)E?".Z)0$H*Q,,JJ1C37*2=@H
+MB=4DI\O&Z2J=J).<::K@JOYM=7,3_=@/<WXI'VDC7P@W(LQ,F.;]3AAN]XHO
+MAXH;30V#4BU2U!L4Q9,&18EA4,*6R"%Y6#S2!/5$M)>"L@F#HMF80=%<-Z@"
+M531FM"(Q*DIN75E:Q3E1!D8+P\"HM"H^QC@_U6SL(2&G!X4I(1O3M+TDO4T@
+MT\AFJ%@BQ'M4BE\XQE3\3MB2D'FOXTS2$$E3M"1E.3?XZB8Y2UK&B62<M(QQ
+M87).).M$LDZ*CLCF#=BQ)ADR+?FY!$.FX3^G7)QU/BF6U474-!NWG'XNCB"Q
+MN\7R2(/A;A6ETP-EM2(Y)(H#.L903;2)CS58SG;;I8'QF,`*$Q@:K,4,#]9B
+M1L"UF&F^G9F^G:CGFF]GIF^/9@\S=';&YN9JS$SW/D/S*VX!BX<9GE_Q59!?
+MD'GR,*/SA?C1OF/R4<]$<__9E/O/1MU_9KI_T9`:S<SP_J)Y\;I=H$5'$O&L
+M6Z)EA^4]%?=2$G'+Q*V44/$&`P7E70VGK9Y2[9K):W-U3\+Q!&B^YS7%@4(]
+M\&?!H$[X,LC`/OARR($N))[C6$`]\&503MM!HN,3G8&X,5=-R!:F>$#F:"IS
+MB@MHE6%L0.,,80+;9P@7R$23@+$%K=2?2;>$:!%W-HRXLV'$G<$1=U;V*WAN
+M!MQ4/=<"[EP/N&?IHIHW0;>YR.=$+:Z<2KCX_A6UMG?5XJ#O[')-N#R;6-KS
+M?&QISPMC::<QRM38Y:6^M!]PS`<6S[O8F^_H5+1=I.!"C9;8LB1K);8(--T5
+MJ!>OP`/=%62@NX*"NBNX5U;_U,/,4")3S[4<1%&,*M'>.16EI<9*4V29#K95
+MU>GA"HN=%?_)KWM23>@23^BT)&,Z+:FE4\RC-<:[1/5M>\F,717":ELU2[`(
+MH420525T?GI('G'KP`^/*(V-]Z3SY0?\6,0ST10146$5TWGKU@_D,9/,,[%+
+M.SRJW6F9@79C]F%T@39[89B5OE\?863#J>W?IUO7!"5S:!\&-FX.D^G63<Z*
+MU<CC=@^8/1EM[;0@L#72`RE**47Q!UBIYZ741CD^GN:X::Z`\*4IH4UJ!MH4
+M06#^5,T-RZT#9F!Z(<*I<,*D$5H.?1K/6^=P/CWC/N%1YMH:4`P6OK*T%SZ4
+MIM#"A]+>(:$4&^M=IIX3C8;ZK'<H99#;0FEFN2W<KG;<9XCU+DJBZD+T`RM$
+M+S!*"_>BA])R9-%#*#46O8([LHK%J.#+'Q&*1[@0G428*U_M!1%"9NXRGM$E
+M)JC*8[2D&:ZR!#?W3&R%\[SQC^(W5QIA#878DJ?B44S39L,JU]#D0).B3W[^
+M<;ZG!S5:"#N\+>+2YMRI$E)E,6MN&=^J8US1A)+FGL2Y>,UMOFSN$\SX>WV2
+MLK:S_$6)J>@M:2Y80E+YB+8TW+Q+^82K-\LD64*:AK4YUC),.H9QQS!6#..6
+M8:P8QB@G97,9=PRM'-VS2/NTOBEAX^,):R4.I;2QE#9II4VDM'$G;2*E35II
+MXX%NT;*@S9@5HFL\^N)6*+I:"*4B?E^(V2)^<2:Y>)V42WH,\>@1Q)/2Q5*Z
+M1$H7M]+%K72)E"Z6TL5'DH[]&>;E$SDJ<15',PCY3"?F\TF;?Y8S\_GD*S['
+MJ?ELXG5^M"_.(E%&-\,LA-@@S$(9&&:)LK6]OT2H,.*M7#WO$PD(IR/QUD@V
+M&&$$[S"1*%;;J6(>9^$F61SQ':9XM(A$`I:_B",DKJF\KA:1>,\X78/LF6H#
+M)*K7SK`,L[&P#&=FZKB(\6EUQ6V(_^1:+TY%-KE0NU*$<ST@F^$E90T]6I8"
+MP<.FLH'0)9N?RFQS@K5L\Y7(4G2HN$7%+8I/%R,5W66JVTRT"ZG:TU+5,=R]
+M4I%W<A6N#$G.03DW74;Y!>/<F@M18N&C92X1.$\%<=P1QQVQF*7LU,C4B7G+
+M&FJDJ!4YG[7IJ9Y"X[-;LD:DN=(3:MT[L7;+=W8D=B09E`@=0Y8@C?4?$X%\
+MCFKH.^HG!/T,]1`J`[,S@CG0+UL()<.(P$><#^I5+T+V(B(\VW08D<".:3X+
+M);@L:40&.V[Y'+00)D+G+_JJ+1*'MJQ`A"#M-3Y3CK>/7L2IK(&_7D1(=]GB
+M(-;091,6YK))]O_ILL5IK)=VV4=U=R_CL8\;=;R,RSZNMWL9CWWDL.-E7/8Q
+M_=W+>.RC!ATOX[*/Z>Y>R&,?->KH_$6A^>1RD$Z@Z2"=0#4O3IO2S&AJ@6K5
+M&4J-C$*AGC.-)AMF%'8BHT"MC()V"M>NX5#CZ-F.>][3G3AHMN-.M[M"XHJH
+M*RRNN(<N8O'^JDA00VW>(W$A[Q?-KS+1N5'Y6LM!4"T08A/'UQ`;.[Z&F'5\
+MC?95<,2,XVM:C]H`14G>QB"6A&THHD:E#34LN=O2MRVC>)RKQ[)T5*A[>=*B
+ME/=JT%2_?<[0IVH"I+UM\UAG>!KN2JO1.E#$0F$OE.'O?)LR_4OEA<G,AOQZ
+M!YUG<T#T-<MKM/5J=JHY]'XPB#$T5)"9=>P>9E2/;0@:;ZER-8,!S!5VH0B$
+M<HI$1U$NB1@T=JYF,G#`G3+E?GHR0<6TEDP`8`T5V`0>-P1;0R8&L@2'*'C<
+M$D!),&`#T'%6`1DW@(%F3!!H`U?&818=,FX!FE9,<D#S%<1^7.FF1DP$I'50
+M!#*N=4`"`N@[@40@P+1/8!D(J.\K\TB2CAE7N*8(BQ[0=04V`,QU0PP+`FG;
+M(<:XPD$IP!4?:H`"<SQQR$%!G1N3/#%G$QU7/'2T5B"@M=[1"##/S6EN@R#=
+M.\49U[]#&G"5=S0"S/?$+8^?W]>82!R;=OQ#C(?G'X*\7/\0YN7[A[!)YS^$
+M^'C_(<K/_0]Q?OX_L>,&-AT"##$>4<``E'D%`D.85RPPA$V&`T.(3T0P1/D%
+M!4.<5UPPL]6<3<8&0\AT?##$^,0(0Y1/G#!`Y5.QPA#A$2\,05XQPQ!F[QLG
+MMH#B6++U,<K49DY`S"]/?!H)VS`*A)EQF]@N"H!N!!-;<T$.?=P$T!?C1YTA
+MZH`\@3A87HP?J0?)H:^00``-&O\&PL),J<&`GQ.!B#S(E!I($6:P#:8,P[0D
+M/Y=IP$`KT/A'\$X(^'6:$Q4XVQ4N,$_4P5B0$2E8YC\7%"8/P@A$$2J3`(4L
+M`MT7C6GPH#<P%#IX#<K.'GK"2*`Y-:#Q+VM<"'N)F,P#-J@0>Y"(/&SL)`C\
+M_-6!";*'!F)^X>J1<VU``2N$!`1GD1L4"9ZPS9<U]O>I/@N$!(8:A`(&KA$2
+M%.8[>EP1N*A+U/B'4DX,!C]_=L.@+Y['5=V"<.`D:6$DT'Y;6*B)=+C0:H-$
+M!2T9+6;\+YLX(8&1A<1U=2*FE<^RP3DBIGUXQ8JQ<T3BST=,G2/*TK&R6X;@
+MLEN&_YQE-_'7+L;+;F.;+C-;!_P-*R@X)-Z&8OT9(+\"(`M;VNSRFH^'#(Z6
+M`O9*W:I4AD_!R>2:H36@HN9*6@$%-<=F'"BFN3(MTY4T*QD)%-)<I;?)S*K5
+MPGB2!$SU`Y4S5^8>JIVYLN10]<Q5M0"K9R``S(R`")\DJ@7QCX6;OV<6&/<T
+MF+"42`,)RHDT"-NC>>RO<4@0W*R?82%P`PG(CR"K@N:5/B*!!RB053_SRFJ1
+MH&`&614TO_0<"3DU@:SRF9^W(0&1;7O.Q-X#>Z8":.`FN$6%)4=:4$B*K,,\
+M8=_3X,+RH0HV_O<L8:]-`T+:UFO3H!,T#2+$&N96"2U@S\=0(*Z%A6YSYE85
+MS3?WPFB0`<VM$IKW5HH%K@EJ_(*<02O35&W=<()@X0P\M@!5S1PG':"*F>/$
+M"5`M`X^0^)3*3`!84@>[-![R.>O(SU@<FRJW/F^!S%VX@@JG+HQOU=2[1N;&
+MC=N#LXB<3QZN&03UN8]-F`@/BS`!?O8PZ)F?.9@8K_W`<.`*ST*Z"7K2<9MB
+M>ET8#$7A=[C2Q(!%=.=`/*UZ8I?4/&.F(@_T*BTLL(K2H@++*".E->^25W`$
+M20;E->\095!?\PDVRL!Z>EN)@OZ8HP.2A>FJ$RHL;AC6UKR3O:5==/4J6J2A
+M)5<R5E[S+,J%[BS(DZIK+2ST=/YHB<U3L"QD$+L.@H<UG<&%66ES>2$;YW<P
+MRT(!6<7!ZFO#_%S*$`<>W'/#0+_B])8(2#8.QM)"P<>S'%X608?W)\[N0X?W
+M)SY(@)*04V?^4/@Q?@1G(AW#`:4B'8?L$92-G)()/M#O'D3H5+]3KJ<<]D7`
+MN7[WL4D$'>]W?T0"'?)W?0[2U8GZ_T4&RMB@[)9EVNM<_F]IVL_^T/SBB^CD
+)?X[R#<=%:@``
+`
+end
Index: Tst/Long/zeroset.stat
===================================================================
--- Tst/Long/zeroset.stat	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/zeroset.stat	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,4 @@
+1 >> tst_memory_0 :: 976550737:2000121116:1-3-10:ix86-Linux:nepomuck:1031520
+1 >> tst_memory_1 :: 976550737:2000121116:1-3-10:ix86-Linux:nepomuck:2014900
+1 >> tst_memory_2 :: 976550737:2000121116:1-3-10:ix86-Linux:nepomuck:2014900
+1 >> tst_timer_1 :: 976550737:2000121116:1-3-10:ix86-Linux:nepomuck:3465
Index: Tst/Long/zeroset.tst
===================================================================
--- Tst/Long/zeroset.tst	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/zeroset.tst	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,167 @@
+// Test File for 'zeroset.lib"
+//
+// Implementation by : Thomas Bayer
+// Curretn Adress:
+// Institut fuer Informatik, Technische Universitaet Muenchen
+// www:    http://wwwmayr.informatik.tu-muenchen.de/personen/bayert/
+// email : bayert@in.tum.de
+//
+// Last change 10.12.2000
+// 
+// written in the frame of the diploma thesis (advisor: Prof. Gert-Martin Greuel)
+// "Computations of moduli spaces of semiquasihomogenous singularities and an
+//  implementation in Singular"
+// Arbeitsgruppe Algebraische Geometrie, Fachbereich Mathematik,
+// Universitaet Kaiserslautern
+///////////////////////////////////////////////////////////////////////////////
+
+LIB "tst.lib";
+LIB "zeroset.lib";         
+
+tst_init();
+tst_ignore("CVS ID $Id: zeroset.tst,v 1.1 2000-12-11 16:07:30 Singular Exp $"); 
+
+
+// example 1
+
+ring R = 0,(x,y,z), lp;
+ideal I = x2-1,y3-1,z-2x;
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+ 
+// example 2
+
+ring R = 0,(x,y,z), lp;
+ideal I = x3-1,3y-x,z4-1;
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+       
+kill R;
+kill S;
+//tst_status();
+
+// example 3
+
+ring R = 0, (x(1..5)), lp;
+ideal I = x(1)^2+1,x(2)^4-1,x(3)-x(4),x(4)^2+1,x(5)-x(4);
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+
+// example 4
+
+ring R = (0,a),(x,y), lp;
+minpoly = a2+1;
+ideal I = x2-a,y-2x;
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+         
+// example 5
+
+ring R = (0,a),(x,y,z), lp;
+minpoly = a2+a+1;
+ideal I = x3-1,a*y^2-x,z^2-a*y;
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+
+// example 6
+
+ring R = (0,a),(x,y,z), lp;
+minpoly = a2+1;
+ideal I = x2-2,a*y^2-2*x,z^2 - a; // 2
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+         
+// example 7
+
+ring R = (0,a),(x(1..5)), lp;
+minpoly = a2+a+1;
+ideal I = x(1)^2 - 2,x(2) -a*x(1), x(3)^2 + 1, x(4)^2 + a, a*x(5) - x(1);
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill S;
+
+setring R;
+def S = ZeroSet(I, 1);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+
+//tst_status();
+
+// example 8
+
+ring R = (0,a),(s(1..4)), lp;
+minpoly = a2+1;
+ideal I = s(3)*s(4),s(2)*s(4),s(1)*s(3),s(1)*s(2),s(3)^8+s(4)^8-1,s(2)^8+s(4)^8-1,s(1)^8-s(4)^8,s(4)^9-s(4),s(1)*s(4)^8-s(1);
+
+def S = ZeroSet(I);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill S;
+
+setring R;
+def S = ZeroSet(I, 1);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill S;
+
+tst_status(1);$ 
Index: Tst/Long/zeroset1.res.gz.uu
===================================================================
--- Tst/Long/zeroset1.res.gz.uu	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/zeroset1.res.gz.uu	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,132 @@
+begin 640 zeroset1.res.gz
+M'XL(")S[-#H``WIE<F]S970Q+G)E<P#M76V/XS:2_MZ_0I@-<';+M$6]:_K2
+MN&P6$PQN<UCLY.[#!>F%9EHS8VRWW6>[DW8?[K\?*8H428EDT2^3GL4&R+1$
+M516KBL7WA_2[G_[T]C^"(,#7P6(1_-1L=\&;Y5T3?%QO@G]Y;C;K;;.;WRW?
+MO[IXUU'&<T(IWA+Z%KR]?[AK[IO5KMXMUZO@_3YX'?ST>7U?;X,_UOMF(\C3
+MEOS[Q\VFV:V"[VXWS7;[6GS-F+#5=K?</>Z"CX_-AKP15>Z)W+_/B'H?/J^6
+MVP^?F^`_5\M?F\UVN:N;7?#C8[,BB2LA*&\%_?;;;Z_)2_!YMWMXO5B0U_MZ
+MOYDOA<3Y[A'==[SSVV;Q0"2N5\UJ\9XJO>NM+%IYS7V]O".6L:__MEP1_GO"
+M)\A*Q355R_3GFKCTP^=Z]:D)<#3'\3R.HH@3D11*)%XQ4WRSW.V:5;!<!3MB
+MZ\=-?=\$ZX_MR^WRX8XXECYOE]M@4M_^NMRN-Z^#OVS6'^?!#T0S]&.]V1'>
+M'S;-8W,W%<+;D@M>?;^^?WAD);6E4N_7MX]WRV#[4']HVH1M<[_\G\=ZNR0E
+MN/[4K-:/VV"[7'UZO*N)8DM"5*]NR?]",`N"8*E&`='@7<<EH@>S`/AN\[Y9
+M[K:?-H\/#TWPW=VGYOVF9@7[0[.^;W:;93,+WM0?/K]O-LWRP^?@QYH8S,)`
+MR&+AHD3"OQ,IY.6N?MPUFU[!-AY.^I\034)#/)/R__/;/P:O=EM69Z[$E^J:
+M?9%KU%7`_^-D<73=/Y-0('+^MEPM=Y/IU07]&UQ?!YT$/%\UO\VWQ-6"(;YF
+M#)]6ZTTS>?7]?[T+WOXI^.;M[>MO7DVO@@OBJ_[[ZT#^+F0DUY(V:6]:G$G/
+MQ)L/F_6'MK7HU"'&3=Z)2(M9?7FX>_S$8[AAD;$EP;R^;U,H)R*LG(($6K.I
+M=^O-EH?Z\K:I[X3,MG(%I,%XO-L%V\_KQ[O;X'T31+-H-I_/9]%<4)**][_\
+M)2$53/%Q$L^%W[<TT%:?@G>BH)*T_WI?/P1O^B]Y[X&D[*D>B(3=Y%7PA[^L
+ME]2^;X-701AL6\&37V^7]Y/M[G:RO)U.IR2=%/H?WJWO'EGE4VBWR^=FTKF3
+M$(N,TVB8V?UR];"^VZL"NL0I+6O.&P]Y6Z^JG%2[/C_)!2)-,CZ5C"<-Z81(
+M#99$'KXB?_[UVT"Q@Z2%X;0OCDPRAO_WAC!W]#\O?Q%Z9/&0E-G0:=WSM)X-
+M$+J6C7K#G-[+D^SZ/Y%(#.M?BK[Z92S<FJ>:-FH!%NE5[XF<&-/&SU^)!=%L
+M\C3;SYZGL^#N062:DWZ5.?PMH7F*$9[M$_+/,XJ?>J*XSS<G;>EM\S%X1\C_
+MFQCXKME-WDZO!E7MZ@)?2#&7:W&57T@Q,JGCL`[Q]$*4_7.,4J9(?/F$GB_(
+M`YZAN'4AK5`139F@&N'I,+G6TBBO^MYQ:HFUFL(-3J]'ZF&>77,#KBZ$_OQC
+M3IU*FL3;G_$OWU);Z&/\R[?4(OJ8_/(MLXLS%*+=O+H@/*\O2`S\C3(3^O:1
+M,'=/A!?%%R1AE(A9IE`F!LI:)4LELK%,"4DV2J)E2>CR<;I:)N*6EU)HD=#]
+M^_+N+OBK<'-!.IPVJ?=\T8X$:4=!.Y?'[:2O006MD>(E42J(R+&0>HTB<U:0
+M(E<J"`W)9(^>9L\IPCV15#&+\J`*@F.MAN!8J2(EKM,P2^LDQ&5%XBV/ZK!(
+MY"J3TMI27+:UY@DEEWL:^(MDAK`4U!-<+C`F4BKZ)P[CE/Y%V2))IK-)SKXE
+M[%O9?:JJJ28$=5(0DX(Z*7')Q"`F!S$YJ.0?!X*8@J?0[U3J#;73,L6MS)"1
+MGT!QJ/@C;`)FT9FK26+4Z'3V0N4?8S`P#UYCJ[$6OHSD%MY4_3@Q5EK\E#7S
+MI-'K*F37Z+-JR7EB4Z,O-;^+I&^DL=KJVTJ@;W2-):'(E?L(N^>E9M]<`HIL
+M0\<B68;5KN54AF&U)SJE741TX33+5N\N?B[/8+$]Q^I,SK#GBB.WHVSUE4C`
+MYW"5(\_X7,ZRYLN;!CK-56<X93H8')798'!4YL;!42DM!)3JY"$1Z=+DH5(G
+M#\'D:8+G\VRJ#H\J=?XPP=,;$@&SITD\O:$#DJ=),D5/DW0ZH_]TWS*6U`N1
+MYA?58?,+K$\PL#;#H%E+HR6J1*=-2K7)IES5]DEHS^RYH',#-D/H_N][D:ZW
+M<A'05-1_-LEPT:A?C5*<0I#3&CL%,[?7&!E=8J61O]DE`<BXMFY9$%$(8I^+
+MB`?UZ!RR4N>0+$+Y-V4*R:.U&U2(F.7#"AZY]#VE[RQ^Z6M&7[LHYK*-LTTQ
+M15-F?B(UE9XS]JR.2)`_?V+(OI?EDI":-("+R$Q*0`7D1AV@$@J#"@CHQ]*D
+M`51`Y8X#)/,C60!]47MZ4RRX9)C"42U,EQ1C5/J),0:GCQ!S?/I(,84H\O"M
+M,4KA0G@3(BW;5(-E&QP-EFUP9%RVP5$L1ATX4E=M4I&>2C3RJLTDFM&F]VFV
+M5P8F.,JOI?Z?#DO[3X6VYEG/]M)R)XYZXW!4'30<T1=SU+4<,I7$N308V<<A
+M<6X\;1<[]V1JO8C57I?.AEF:U,5P%7$TTKE@C)7.A>7(O\5RY\)SYS/65@=.
+MF1B[BE8A)9:UOD`CZ*,'X[1W,-TDTZ('YX/HP84Q>K"TW-]+K90PRGAZ'/5A
+M1#>P1L)(6P#$=-M*":1:"B6Z'Z6M#M:7^YN8+A"2?\ES3RH937>KSK!&2$HY
+M)K.>C"B9:NOI.&Z'*C&=>-"I28W2Z>4>/<>S_3..0N5+,IWMX^<RG%!A"9T_
+MU2$9P.^3Y[Q=6MP_QQ>:J)DF/-$&0MVJN\JCO0\X1O*0-()EH9@PS$&1IXE7
+MEBI!#&YZS<WB<P523^<6[]6H_[!F/FT]$E+344H7[`'DY(V'DK-PV$@X(:DQ
+MRD8#8(R#Y$`82,2.%2>O+/E8^Q876ONF1CZG*I5U.5H+NF9NK"YTP^FQ&M&-
+MK$?J13?(9K6#ON1TG8_6$:Y#96Q#51U&ATNJ%DH3*V_!C`C2V5-]M.W.78D_
+MTTJ>,7/53>H@6Y4L1(TD=ZN(^<'<VEJ=B5GS],"*BEE1'B%*K:_JD!N/FJ&4
+MI51YC<MJ)F:I*NN#;$,8J&-"J6(/AM=N?KF:\VJ1]%@2G.#!("")!X.`)#$.
+M`A)I>)AD2M^?B_1<HBE`?7]2&@>12:4-(N.NYR?C)]KW!RBHKZ@>HAU()8-3
+M?-``H-3Z_U+M_DLRR*NS$)>D.4QH()#VCRJ-8Q(,E;*]'D[219S@N@CQ(LWC
+M.D=Q^Y[1!=6B:,>+]"\IN"1K*>C";D23PC1JMV#0/D4E';(>+^MR']-1+RGT
+MNB#CQB2I\S!K7[,P6<1QG:(T:=^3L*"?22A7[3N*,_*==FU9IP-)J.*4*I&T
+M#QE*(I:4=C0D6BN60DHKSQD92MH,B:1.$.*"0BXH%(+"3E`H!(6X2*KV,>P$
+M*7ME1YEVF$+"LO"<EJ'.M)"9ACK3$#,MY*8A9AKJ3`M%J>%%F;:.*:D^9,I`
+MPH;J5]+BPN2]I&%,_Q#F@GY&U2)]D;8P4T)F"F*FA)TI86<*8J:$S)3P;*:\
+ME+ITH"1A&WJYE>D<IOUNM>D%&G-P=3J#+;S7CL=F(FFBS$1<G3#G2E6,V/&=
+M:#>Q:;OE'F1VFLZ9*YU9EH,.KY72R/E$+4\_]#Q1XZI#+TYB[8G:HC,8J^%!
+MCJC(4MD>V#J=P;ST#.8=V%Z=P;KL:ZB7IVJEM96!%UHQ3V=M\2)KYNGL*U]B
+MU3R9>;P?S:6E@&*P]I&6@[6/M#*N?2A'%D0B5A9!"I$N[;5ER<@BR`C(!V>I
+M90LDRX8(H``%<8NB"5!]29-F`<4HD`]A@.ESRI[K64"_9X2NY>R%2@[*BG.L
+ME=R487Q9WY"8(O^2*"@O*0"CE#=-)O$BS5H:O*@H%1DZ52U9NLBFEPR4@6*.
+M;)H@3A]V]&%'3RI+AR\2X"@;M9#>XH]"LQH5)VRW#`N25I`HS%+RD!'B]H&"
+MX(BA;'80%Q$E"CE1R(EH1<LX%4ZRE@H+*D%&*ES4DI$*R43AI'UBG"R--K-M
+MFHZ8.9F20D<N($-8$O4B=`0ZLM?H!7OR,"41UW)$`:ZE4'+$DA/$I$@ZNXX'
+MA^274_&(B'QI?CQ$1]Z=E&.3^*Q2L7C&WJ&CSR-Y^@[L*23XGKN_D+!]'/K7
+M0?M`?8>$_0/U(-PN;`-\V-L<94#I;'NDT14D+GM,TJ`.20BE09LTF+>?R09(
+MV!YL0O(2BV%8!>U&I"^P''QMR'2`D[W)DV<@SJ;O'/5AT"0.3L2<R82358<1
+M"_09\(LH!%LDC=B@SW)?0BGXF<#[B_[H!J9'P[5I:RZ!WO)L+CK>?JY+STH/
+M9G>S`/]S@G>F"=X_T-SI:YB$_L[SN[/.0O\Y>?H:YZ"_[_SNC)-0WJ,48Q.\
+MO/2<X%7_F!,\>J/&EY[@G75R]&7F=^>=HWZ9"=YYYT9?9GYWYDGJEYG@G7-V
+M]&7F=V>=HGZ9"=XY)T=?:'YWUCDJ[R]P/X.C]RMI6Y5%,MBJ+*0Y7]%BL4>W
+M+0L)CET4RFYE*=)+B:8:[E9NZ6YEJNU62A>WZ*#M4KFM8$MZWLLMO9M@2SI=
+M_H3I4R*>8OI$>N@RI-]O2H1;:O4=TP?V/FO_5$B6EK+/TOYF*4V;RP-O/(CU
+M"3!)T:;`J7((3-6LMWUH7>\5W4[9&H.S)&?0Z]CHV(P>;A^<[^G/T=\0"1"R
+M&$`&%082!<K03>-V0C3KW-#I;R1K#TW92=@]""X::AN`"J`20",$40G!=.)^
+M<GK)[2.(AR#^<7D'X!N09P!^P7:OV#ZS.SU<'G%0.%1P:(!<*B"W#LP/R.$(
+MZ_?N^@^7*UPD+C5<6B"G&@B@1U=?D+/"V"G$G2G.*N,D<JOCU@8!U$$@?81_
+MVM;>X2$[3><C%U&GE9,,HA9$*P12"P'UZOWE[*A<--Q?D*X*0`91"Z(5`JF%
+M@'J)?MT97I#H@@47++;<H06*+&!@6<FD0>#@$+U$$CM(W$+<,OC0T$30#6G-
+M.=C9[=R=\.'-`PJW\3//W$+`[3>3]$5AHW%G!!`"4H8/PA%D%&XCP@`Y"")(
+MGK+8M8*206Q$`/U[&I!.`'?"?``R#3*ULU(Y:=S6R[-(EQ,A5@'4=7L94E@N
+MFT$%!2NGF^%='*.%;J>#R)-"VBP+F&4-(()DAR""I%F_3?$81)4`J!"4S$W4
+MK\FX_`0L80L97^(:N_\0E]K]AZET<4NIW'\HK5QU6VQB_:K;1=-6L;K--+&6
+MU6V6:2M:W6TM^KH632Y$,CM868IW=E%6Q=[[E2ZN-^0F_T@LX4;]ZBSUY^`Z
+MQ1OI6A$+5Z)QQ2`N9<<&FI6Z0U*#>'(U(YAVI@L1+2SRJCO(V_(%+)&T)=4[
+M(U%<DU(R]>J5GDVY\$1GP>,YU;9L8@//36SC2DQ<5I/242Z;19G)=[9L<J/#
+MK385L')2F4IW*:D,AFBHC5G$XX&@EY#*8XH$BRGQ>"08+8D-,6"Z#Y6RC`?`
+MH&14)F,,W"CW+\DLXQ$@E8I*;BCYVB1^O-#5$E$Y3*5N-"$9+W6#!8FAO)')
+MA,10[9'9AL18WC?J+5HRSWB!2P6AT1O*NC9F8*CKBAD:BZFT+6:,%[C1"F.+
+M;\H@-=1Q9+$C-9:Y4LF16IO2\8(WW<U*.4QMO2430SU7J[G.9"I[JSGCY6^Q
+MQMC*6S(QU'=DMP?6[TM"&%_F[OB'/(">?\@$ZOJ';*"^?\CF[/R'+)#>?\@%
+MZ_Z'?+#^'^GCALP]!!CR`$8!`Z8<-!`8LH'&`D,VYW!@R`(9$0RY8(."(1]H
+M7##1BSEWC@V&+.[QP9`',D88<D'&"0.NPC56&'(`Q@M#)M"88<BFSQL=4T!Z
+MDZ9VF[EK,D=9U*O+(9GX31@IAXH9<TP7*8,<!(ZI.24WW8YOH"_';^<T47NL
+M$]"[4,OQ6V"-Y*9K[(T,J9?_6Y;,+Y1:'N-]]$:.PBN46I;2+V!;GLJ/IR/Y
+MN8H\'"V8QG_YR\IB_'D#*Y=G;1=\GNM$G"WS"B+!EL/K@N`IO'@H1^EK$V7R
+M:00FW4]B1-Y.;]FPK_-:+GWU$,B6>(93RS1^&;2-0V\BG.N`+9=//#".PL]W
+MC,GX^RD6'J]X:%G4GT@!K+FV3!XM!&/P7D5NN1+O"MM>!JW_P`FD@6",O@$A
+M&#W;",;DUW?T?*5GH\ZXQN_VMO+$QM_/L;.9?C)GO*@[IMBSDG1LB6?\=FR^
+M(<+Y?'<;&)=7D]'QC/^<HY7%<V3!^/@^D?0;,V4U.#==27>%5WCLW#3]S;S#
+MSDU_%<!Q!SH2AI-QH&QL@&P?L(432&#&(T`VP`'[M4YL+P`FZ(9[`;!S3N"F
+M&RSN`DR[P;L@3"P0-WLD3M@-X77EXD)\04!4()S5*6!A)T"%.>%U``#?"7""
+M+A2@Y([CD(#6%@9V>@8&D)/@&L>>BX&=UCDA0L[9C@*:43CJY5A4$Q`;`T*1
+M@9!Q7CBRDZ"[G#HYCWJTAIWFK,=1AUJ<1TZ<64!.!D#@W3V@_!00;Q`T&X8H
+MAYQ#Z(H"Y`C7(`)PQLU]7L5]!$S@TD$GY4YR%H"3P3P)*#K0\;UC#SL`\<EJ
+MLW?T>4\@%4PQWQX2TFB#NX`C<<\`++9ONPT#"P/AJ$<A<F%P=`BL52EE$-SV
+M6&B[6R?Y]-+QAV3Z`U,G.N\%.`0T@5)!ST)Y-*:@7O`$!YBEO@MPL!KB>D#/
+M#.MS@4?+(*?L0!E"@N\T1[T=/1-?Y4K&@.-5:@:.5]G7"1RO<A-P?`PVH.+-
+M8OAZ)]W>3,!+G5@%B<,@[)G?XKP.$(?L\7CO]WGL]O-U]<I_$=D)#U-*S8`)
+MM\&N#)!P"YS$``>W887<6'`-3F>`@MO`XTYLH);#.,S'"%8U8+]MV%,3^MN&
+M\S3AOVVX6R/^V\A@Q/88.2`P0(T%OIM+6Q!]7P8"JHC]0#TMBQ>JI^70]V0`
+M")'89QNW;3_]-G%;%@^$#]8PX"``5.)Y!`AK"'`0+BOQVH[#&@8<4!Q8PX`#
+MD%:)QZ&?KK=)//9F&4>JHSB`8);4$\;1<?G!>SHF'Y`7YSE@Y[[E\T/T";;<
+MIZBF&B(<UFNG7F?`6@Z?:)AJ('!@+-!\,NS)U['Y;M1/-1PX%#V4I5X!--5`
+MX&`P0.;9)@C_>74&G4VNTR%*)VB$?LLC`(7#A/M&%A;0V1"5Q70:P$0/`'NK
+M#,9#(4:5QH=\UI,0)X1W#P'HYX1XVZ'7)NB_C0>*^P>CO.U\X_%@/091.(^'
+M#0;U!20F5`Y`1*@,L'@8:`8+!Y4'-!\8.JX$'@51F0XZ,%:ZVX6!*TK8\6"5
+MQW@,Q.J(P_"_.B@<.&8J"\]>I6/SQ`%W7)Y`X!%P.!BT[3V"3`8`<?`098`0
+MAPPV*L\3(:QGUM#A();<KZRX47[CAB$Z'`Q7K/1C`R#8;>1[:"`9`X@#8>6^
+M,XOD('QXQ^9[O\0H2!QH6.[C1*Z@\;BQ=7"A8L5MO9#.!SM:J'$95A4'K:_.
+M!NM2AGS&HZ=V-F._8NTML6&Q<>!+C<M\P-#2RV+3]1/VT0,V73^ANT1G,X>)
+M]7@G]K^(`IM7(BWN,"U%6JZ)P*;52)=-YBLI[$XTW4MAM>N0X^K8<#.%_>`O
+M-EU08;\&Q71-A>X-F8OO$Q42,KP<`L<K\3F.HGD@7;V.IU?!-Q?_#STRSDU0
+#L0``
+`
+end
Index: Tst/Long/zeroset1.stat
===================================================================
--- Tst/Long/zeroset1.stat	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/zeroset1.stat	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,4 @@
+1 >> tst_memory_0 :: 976550812:2000121116:1-3-10:ix86-Linux:nepomuck:1241604
+1 >> tst_memory_1 :: 976550812:2000121116:1-3-10:ix86-Linux:nepomuck:2014900
+1 >> tst_memory_2 :: 976550812:2000121116:1-3-10:ix86-Linux:nepomuck:2014900
+1 >> tst_timer_1 :: 976550812:2000121116:1-3-10:ix86-Linux:nepomuck:3483
Index: Tst/Long/zeroset1.tst
===================================================================
--- Tst/Long/zeroset1.tst	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
+++ Tst/Long/zeroset1.tst	(revision 52ea3f939ec0aa2915d2d6a747bab3976eb9bfb7)
@@ -0,0 +1,187 @@
+// Test File for 'zeroset.lib"
+//
+// Implementation by : Thomas Bayer
+// Curretn Adress:
+// Institut fuer Informatik, Technische Universitaet Muenchen
+// www:    http://wwwmayr.informatik.tu-muenchen.de/personen/bayert/
+// email : bayert@in.tum.de
+//
+// Last change 10.12.2000
+// 
+// written in the frame of the diploma thesis (advisor: Prof. Gert-Martin Greuel)
+// "Computations of moduli spaces of semiquasihomogenous singularities and an
+//  implementation in Singular"
+// Arbeitsgruppe Algebraische Geometrie, Fachbereich Mathematik,
+// Universitaet Kaiserslautern
+///////////////////////////////////////////////////////////////////////////////
+
+LIB "tst.lib";
+LIB "zeroset.lib";         
+
+tst_init();
+tst_ignore("CVS ID $Id: zeroset1.tst,v 1.1 2000-12-11 16:07:31 Singular Exp $"); 
+ 
+
+
+proc TestzerosetLIB(S)
+// plug in the elements from the zero-set in the generators of the ideal
+// result should be 0,0,...,0.
+{
+     
+        setring S;
+        map F;
+
+        print(" #Points = " + string(vdim(std(id))) + "; #Solutions = " + string(size(zeroset)));
+        print(" minpoly = " + string(minpoly)); 
+        print(" ideal = " + string(id));
+        
+
+        for(int i = 1; i <= size(zeroset); i++) {
+                F = zeroset[i];
+                print(string(zeroset[i]) + " --> " + string(F(id)));
+        }
+}
+
+// example 1
+
+ring R = 0,(x,y,z), lp;
+ideal I = x2-1,y3-1,z-2x;
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+ 
+// example 2
+
+ring R = 0,(x,y,z), lp;
+ideal I = x3-1,3y-x,z4-1;
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+       
+kill R;
+kill S;
+//tst_status();
+
+// example 3
+
+ring R = 0, (x(1..5)), lp;
+ideal I = x(1)^2+1,x(2)^4-1,x(3)-x(4),x(4)^2+1,x(5)-x(4);
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+
+// example 4
+
+ring R = (0,a),(x,y), lp;
+minpoly = a2+1;
+ideal I = x2-a,y-2x;
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+         
+// example 5
+
+ring R = (0,a),(x,y,z), lp;
+minpoly = a2+a+1;
+ideal I = x3-1,a*y^2-x,z^2-a*y;
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+
+// example 6
+
+ring R = (0,a),(x,y,z), lp;
+minpoly = a2+1;
+ideal I = x2-2,a*y^2-2*x,z^2 - a; // 2
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+//tst_status();
+         
+// example 7
+
+ring R = (0,a),(x(1..5)), lp;
+minpoly = a2+a+1;
+ideal I = x(1)^2 - 2,x(2) -a*x(1), x(3)^2 + 1, x(4)^2 + a, a*x(5) - x(1);
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill S;
+
+setring R;
+def S = ZeroSet(I, 1);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill R;
+kill S;
+
+//tst_status();
+
+// example 8
+
+ring R = (0,a),(s(1..4)), lp;
+minpoly = a2+1;
+ideal I = s(3)*s(4),s(2)*s(4),s(1)*s(3),s(1)*s(2),s(3)^8+s(4)^8-1,s(2)^8+s(4)^8-1,s(1)^8-s(4)^8,s(4)^9-s(4),s(1)*s(4)^8-s(1);
+
+def S = ZeroSet(I);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill S;
+
+setring R;
+def S = ZeroSet(I, 1);TestzerosetLIB(S);
+setring S;
+minpoly;
+id;
+zeroset;
+
+kill S;
+
+tst_status(1); $
