Changeset fd5013 in git for Singular/LIB/qhmoduli.lib
- Timestamp:
- Aug 2, 2006, 5:40:53 PM (18 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- f6f1dbfc1e8487ccbf1ca0d7a3d2600069315a9f
- Parents:
- d1932987874a4523d2a42efe3046b953ed52af76
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/qhmoduli.lib
rd193298 rfd5013 39 39 moduli space (note : Spec(R) is the moduli space) 40 40 OPTIONS: 1 compute equations of the mod. space, 41 2 use a primary decomposition 42 4 compute E_f0, i.e., the image of G_f0 43 To combine options, add their value, default: opt =741 2 use a primary decomposition, 42 4 compute E_f0, i.e., the image of G_f0, 43 to combine options, add their value, default: opt =7 44 44 EXAMPLE: example ModEqn; shows an example 45 45 " … … 202 202 if opt = 0, 2, it is the ideal defining the equivariant embedding 203 203 OPTIONS: 1 compute equations of the quotient, 204 2 use a primary decomposition when computing the Reynolds operator 205 To combine options, add their value, default: opt =3.204 2 use a primary decomposition when computing the Reynolds operator,@* 205 to combine options, add their value, default: opt =3. 206 206 EXAMPLE: example QuotientEquations; shows an example 207 207 " … … 410 410 411 411 proc StabOrder(list #) 412 "USAGE: StabOrder(f); poly f ;412 "USAGE: StabOrder(f); poly f 413 413 PURPOSE: compute the order of the stabilizer group of f. 414 414 ASSUME: f quasihomogeneous polynomial with an isolated singularity at 0 … … 433 433 PURPOSE: compute the equations of the isometry group of f. 434 434 ASSUME: f semiquasihomogeneous polynomial with an isolated singularity at 0 435 RETURN: list of two ring 'S1', 'S2'435 RETURN: list of two rings 'S1', 'S2' 436 436 - 'S1' contians the equations of the stabilizer (ideal 'stabid') @* 437 437 - 'S2' contains the action of the stabilizer (ideal 'actionid') … … 469 469 proc StabEqnId(ideal data, intvec wt) 470 470 "USAGE: StabEqn(I, w); I ideal, w intvec 471 PURPOSE: compute the equations of the isometry group of the ideal I 471 PURPOSE: compute the equations of the isometry group of the ideal I, 472 472 each generator of I is fixed by the stabilizer. 473 473 ASSUME: I semiquasihomogeneous ideal wrt 'w' with an isolated singularity at 0 474 RETURN: list of two ring 'S1', 'S2'474 RETURN: list of two rings 'S1', 'S2' 475 475 - 'S1' contians the equations of the stabilizer (ideal 'stabid') @* 476 476 - 'S2' contains the action of the stabilizer (ideal 'actionid') … … 1417 1417 1418 1418 proc Max(data) 1419 "USAGE: Max(data); intvec/list of integers data1419 "USAGE: Max(data); intvec/list of integers 1420 1420 PURPOSE: find the maximal integer contained in 'data' 1421 1421 RETURN: list … … 1431 1431 return(max); 1432 1432 } 1433 example 1434 {"EXAMPLE:"; echo = 2; 1435 Max(list(1,2,3)); 1436 } 1433 1437 1434 1438 /////////////////////////////////////////////////////////////////////////////// 1435 1439 1436 1440 proc Min(data) 1437 "USAGE: Min(data); intvec/list of integers data1441 "USAGE: Min(data); intvec/list of integers 1438 1442 PURPOSE: find the minimal integer contained in 'data' 1439 1443 RETURN: list … … 1449 1453 return(min); 1450 1454 } 1451 1452 /////////////////////////////////////////////////////////////////////////////// 1455 example 1456 {"EXAMPLE:"; echo = 2; 1457 Min(intvec(1,2,3)); 1458 } 1459 1460 ///////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.