Changeset c73e2f in git
- Timestamp:
- May 27, 1998, 3:24:20 PM (25 years ago)
- Branches:
- (u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')
- Children:
- e8330bd51ab002df764efc8ad36f40c910b15189
- Parents:
- fff61a753a82b5fa72d0b7934c2664b62441651e
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/usercard.tex
rfff61a7 rc73e2f 1 % $Id: usercard.tex,v 1. 2 1998-05-25 09:49:02schmidt Exp $1 % $Id: usercard.tex,v 1.3 1998-05-27 13:24:20 schmidt Exp $ 2 2 3 3 % … … 16 16 17 17 In particular if \Singular\ prints the continuation prompt {\tt .} 18 ( dot) instead of the regular command prompt {\tt >}, then it18 (peri\-od) instead of the regular command prompt {\tt >}, then it 19 19 waits for a command to be terminated by a {\tt ;}. If that does 20 20 not help, try one or more {\tt "} or {\tt \char`}} to close an … … 28 28 \sec Starting SINGULAR(2.5cm) 29 29 Singular& start \Singular\cr 30 Singular {\it files} $\ldots$& read {\it files\/} and prompt for further commands\cr30 Singular {\it files} \rep& read {\it files\/} and prompt for further commands\cr 31 31 Singular --help& print help on command line options and exit\cr 32 32 \endsec … … 92 92 93 93 \sec Ring declaration() 94 \longentry ring {\it name\/} = {\it basefield}, ({\it ringvars }), {\it ordering\/};&94 \longentry ring {\it name\/} = {\it basefield}, ({\it ringvars\/}), {\it ordering\/};& 95 95 \hyphenpenalty=50 \tolerance=200 declare ring 96 96 {\it name\/} and make it the current base\-ring. … … 146 146 ws($w_1$, $\ldots$)& general weighted reverse lexicographical ordering\cr 147 147 Ws($w_1$, $\ldots$)& general weighted lexicographical ordering\cr 148 & $w_1$ has to be a non zero integer, every other148 & $w_1$ has to be a non-zero integer, every other 149 149 $w_i$ may be any integer\cr 150 150 \subsec{Matrix orderings} … … 250 250 \sec Monitoring and debugging tools() 251 251 timer = 1;& print time used for commands to execute\cr 252 \longentry int t = timer; {\it commandsequence}; timer-t;& 253 print time used for {\it commandsequence} to 254 execute\cr 252 \longentry int t = timer; {\it commands\/}; \rep; timer-t;& 253 print time used for {\it commands\/} to execute\cr 255 254 memory(1);& print number of bytes allocated from system\cr 256 255 option(prot);& show algorithm protocol\cr … … 259 258 TRACE = 1;& print protocol on execution of procedures\cr 260 259 listvar(all);& list all (user-)defined names\cr 261 \longentry listvar({\it ringname });&260 \longentry listvar({\it ringname\/});& 262 261 list all names belonging to {\it ringname}\cr 263 262 \endsec … … 267 266 \sec Options() 268 267 option();& show current option settings\cr 269 \longentry option($option_1$, no$option_2$, $\ldots$);&268 \longentry option($option_1$, no$option_2$, \rep);& 270 269 switch $option_1$ on and $option_2$ off, resp.\cr 271 270 option(none);& reset all options to default values\cr … … 300 299 multBound& stop if multiplicity gets smaller than {\tt 301 300 multBound}\cr 302 noether& cut off all monomials above themonomial {\tt301 noether& cut off all monomials above monomial {\tt 303 302 noether}\cr 304 303 \subsec{Miscellany} … … 315 314 316 315 \sec Input and output() 317 < "{\it filename }";& load and execute {\it filename}\cr318 \longentry write("{\it filename }", {\it expression\_list})&319 write {\it expression\_list } to ASCII file {\it316 < "{\it filename\/}";& load and execute {\it filename\/}\cr 317 \longentry write("{\it filename\/}", {\it expression\_list\/})& 318 write {\it expression\_list\/} to ASCII file {\it 320 319 filename}\cr 321 \longentry read("{\it filename }");&322 read ASCII file {\it filename } and return320 \longentry read("{\it filename\/}");& 321 read ASCII file {\it filename\/} and return 323 322 content as a string. See also example below.\cr 324 323 \longentry 325 dump("MPfile: {\it filename }");\par326 getdump("MPfile: {\it filename }");&324 dump("MPfile: {\it filename\/}");\par 325 getdump("MPfile: {\it filename\/}");& 327 326 dump current state of {\sc Singular} to {\it 328 327 filename} and retrieve it, resp.\cr … … 348 347 \sec Mapping(1.5cm) 349 348 \longentry map {\it name\/} = {\it ringname}, {\it ideal\/};& 350 declare a map {\it name\/} from {\it ringname }349 declare a map {\it name\/} from {\it ringname\/} 351 350 to current basering. The $i$'th ring variable 352 from {\it ringname } is mapped to the $i$'th351 from {\it ringname\/} is mapped to the $i$'th 353 352 generator of {\it ideal}.\cr 354 353 \longentry {\it mapname\/}({\it expression\/})& … … 380 379 381 380 \sec Miscellany(1.5cm) 382 \longentry ord({\it poly\/ }\alt{\it vector\/})&381 \longentry ord({\it poly\/\alt vector\/})& 383 382 return (weighted) degree of initial term\cr 384 \longentry deg({\it poly\/}\alt{\it vector\/})& 385 return maximal (weighted) degree of terms\cr 383 \longentry deg({\it poly\/\alt vector\/})& 384 return maximal (weighted) degree\cr 385 \longentry 386 size({\it ideal\/\alt module\/})\par 387 size({\it poly\/\alt vector\/})\par 388 size({\it string\/\alt intvec\/\alt list\/})& 389 return (1) number of non-zero generators; 390 (2) number of monomials; (3) length\cr 391 \longentry kill({\it name\/})& 392 delete variable {\it name}\cr 393 \longentry setring({\it name}\/)& 394 make {\it name} the current basering\cr 395 \endsec 396 397 \sec Standard bases(1.5cm) 398 \longentry groebner({\it ideal\/\alt module\/}\opt{, {\it int\/}})& 399 compute a standard basis using a heuristically 400 choosen method. Delimit computation time to 401 {\it int\/} seconds.\cr 402 \longentry std({\it ideal\/\alt module\/}\opt{, {\it intvec\/}})& 403 compute a standard basis. Use first 404 Hilbert-series {\it intvec\/} (result from {\tt 405 hilb($\ldots$, 1)}) for Hilbert-driven 406 computation.\cr 407 \longentry stdfglm({\it ideal\/}\opt{,{\it string\/}})& 408 compute a standard basis\cr 409 \longentry stdhilb({\it ideal\/}\opt{,{\it intvec\/}})& 410 compute a standard basis\cr 411 \endsec 412 413 \sec Invariants of ideals and modules(1.5cm) 414 \longentry hilb({\it ideal\/\alt module\/}\opt{, {\it int\/}})& 415 display first and second hilbert series with one 416 argument.\cr 386 417 \endsec 387 418
Note: See TracChangeset
for help on using the changeset viewer.