Index: doc/usercard.tex
===================================================================
--- doc/usercard.tex	(revision fff61a753a82b5fa72d0b7934c2664b62441651e)
+++ doc/usercard.tex	(revision c73e2fb1900677386955dd960db01046688c0993)
@@ -1,3 +1,3 @@
-% $Id: usercard.tex,v 1.2 1998-05-25 09:49:02 schmidt Exp $
+% $Id: usercard.tex,v 1.3 1998-05-27 13:24:20 schmidt Exp $
 
 %
@@ -16,5 +16,5 @@
 
 In particular if \Singular\ prints the continuation prompt {\tt .}
-(dot) instead of the regular command prompt {\tt >}, then it
+(peri\-od) instead of the regular command prompt {\tt >}, then it
 waits for a command to be terminated by a {\tt ;}.  If that does
 not help, try one or more {\tt "} or {\tt \char`}} to close an
@@ -28,5 +28,5 @@
 \sec Starting SINGULAR(2.5cm)
 Singular& 			start \Singular\cr
-Singular {\it files} $\ldots$&	read {\it files\/} and prompt for further commands\cr
+Singular {\it files} \rep&	read {\it files\/} and prompt for further commands\cr
 Singular --help&		print help on command line options and exit\cr
 \endsec
@@ -92,5 +92,5 @@
 
 \sec Ring declaration()
-\longentry ring {\it name\/} = {\it basefield}, ({\it ringvars}), {\it ordering\/};&
+\longentry ring {\it name\/} = {\it basefield}, ({\it ringvars\/}), {\it ordering\/};&
 				\hyphenpenalty=50 \tolerance=200 declare ring
 				{\it name\/} and make it the current base\-ring.
@@ -146,5 +146,5 @@
 ws($w_1$, $\ldots$)&		general weighted reverse lexicographical ordering\cr
 Ws($w_1$, $\ldots$)&		general weighted lexicographical ordering\cr
-&				$w_1$ has to be a nonzero integer, every other
+&				$w_1$ has to be a non-zero integer, every other
 				$w_i$ may be any integer\cr
 \subsec{Matrix orderings}
@@ -250,7 +250,6 @@
 \sec Monitoring and debugging tools()
 timer = 1;&			print time used for commands to execute\cr
-\longentry int t = timer; {\it commandsequence}; timer-t;&
-				print time used for {\it commandsequence} to
-				execute\cr
+\longentry int t = timer; {\it commands\/}; \rep; timer-t;&
+				print time used for {\it commands\/} to execute\cr
 memory(1);&			print number of bytes allocated from system\cr
 option(prot);&			show algorithm protocol\cr
@@ -259,5 +258,5 @@
 TRACE = 1;&			print protocol on execution of procedures\cr
 listvar(all);&			list all (user-)defined names\cr
-\longentry listvar({\it ringname});&
+\longentry listvar({\it ringname\/});&
 				list all names belonging to {\it ringname}\cr
 \endsec
@@ -267,5 +266,5 @@
 \sec Options()
 option();&			show current option settings\cr
-\longentry option($option_1$, no$option_2$, $\ldots$);&
+\longentry option($option_1$, no$option_2$, \rep);&
 				switch $option_1$ on and $option_2$ off, resp.\cr
 option(none);&			reset all options to default values\cr
@@ -300,5 +299,5 @@
 multBound&			stop if multiplicity gets smaller than {\tt
 				multBound}\cr
-noether&			cut off all monomials above the monomial {\tt
+noether&			cut off all monomials above monomial {\tt
 				noether}\cr
 \subsec{Miscellany}
@@ -315,14 +314,14 @@
 
 \sec Input and output()
-< "{\it filename}";&		load and execute {\it filename}\cr
-\longentry write("{\it filename}", {\it expression\_list})&
-				write {\it expression\_list} to ASCII file {\it
+< "{\it filename\/}";&		load and execute {\it filename\/}\cr
+\longentry write("{\it filename\/}", {\it expression\_list\/})&
+				write {\it expression\_list\/} to ASCII file {\it
 				filename}\cr
-\longentry read("{\it filename}");&
-				read ASCII file {\it filename} and return
+\longentry read("{\it filename\/}");&
+				read ASCII file {\it filename\/} and return
 				content as a string.  See also example below.\cr
 \longentry
-dump("MPfile: {\it filename}");\par
-getdump("MPfile: {\it filename}");&
+dump("MPfile: {\it filename\/}");\par
+getdump("MPfile: {\it filename\/}");&
 				dump current state of {\sc Singular} to {\it
 				filename} and retrieve it, resp.\cr
@@ -348,7 +347,7 @@
 \sec Mapping(1.5cm)
 \longentry map {\it name\/} = {\it ringname}, {\it ideal\/};&
-				declare a map {\it name\/} from {\it ringname}
+				declare a map {\it name\/} from {\it ringname\/}
 				to current basering.  The $i$'th ring variable
-				from {\it ringname} is mapped to the $i$'th
+				from {\it ringname\/} is mapped to the $i$'th
 				generator of {\it ideal}.\cr
 \longentry {\it mapname\/}({\it expression\/})&
@@ -380,8 +379,40 @@
 
 \sec Miscellany(1.5cm)
-\longentry ord({\it poly\/}\alt{\it vector\/})&
+\longentry ord({\it poly\/\alt vector\/})&
 				return (weighted) degree of initial term\cr
-\longentry deg({\it poly\/}\alt{\it vector\/})&
-				return maximal (weighted) degree of terms\cr
+\longentry deg({\it poly\/\alt vector\/})&
+				return maximal (weighted) degree\cr
+\longentry
+size({\it ideal\/\alt module\/})\par
+size({\it poly\/\alt vector\/})\par
+size({\it string\/\alt intvec\/\alt list\/})&
+				return (1) number of non-zero generators;
+				(2) number of monomials; (3) length\cr
+\longentry kill({\it name\/})&
+				delete variable {\it name}\cr
+\longentry setring({\it name}\/)&
+				make {\it name} the current basering\cr
+\endsec
+
+\sec Standard bases(1.5cm)
+\longentry groebner({\it ideal\/\alt module\/}\opt{, {\it int\/}})&
+				compute a standard basis using a heuristically
+				choosen method.  Delimit computation time to
+				{\it int\/} seconds.\cr
+\longentry std({\it ideal\/\alt module\/}\opt{, {\it intvec\/}})&
+				compute a standard basis.  Use first
+				Hilbert-series {\it intvec\/} (result from {\tt
+				hilb($\ldots$, 1)}) for Hilbert-driven
+				computation.\cr
+\longentry stdfglm({\it ideal\/}\opt{,{\it string\/}})&
+				compute a standard basis\cr
+\longentry stdhilb({\it ideal\/}\opt{,{\it intvec\/}})&
+				compute a standard basis\cr
+\endsec
+
+\sec Invariants of ideals and modules(1.5cm)
+\longentry hilb({\it ideal\/\alt module\/}\opt{, {\it int\/}})&
+				display first and second hilbert series with one
+				argument.\cr
 \endsec
 
