Changeset 1381ff1 in git
 Timestamp:
 Feb 1, 2017, 12:47:36 PM (6 years ago)
 Branches:
 (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
 Children:
 5a87b3ed87cef22b87ffd49edbc7b864af0582d8
 Parents:
 d3b0a3af59a209d3b618329c1730a79b966dc777
 gitauthor:
 Janko Boehm <boehm@mathematik.unikl.de>20170201 12:47:36+01:00
 gitcommitter:
 Yue Ren <ren@mathematik.unikl.de>20170608 18:10:26+02:00
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/gitfan.lib
rd3b0a3 r1381ff1 6 6 LIBRARY: gitfan.lib Compute GITfans. 7 7 8 AUTHORS: Janko Boehm, boehm atmathematik.unikl.de @*9 Simon Keicher, keicher atmail.mathematik.unituebingen.de @*10 Yue Ren, ren atmathematik.unikl.de @*8 AUTHORS: Janko Boehm, boehm@mathematik.unikl.de @* 9 Simon Keicher, keicher@mail.mathematik.unituebingen.de @* 10 Yue Ren, ren@mathematik.unikl.de @* 11 11 12 12 OVERVIEW: … … 34 34 35 35 PROCEDURES (not using group action): 36 isAface(ideal, intvec);Checks whether the given face is an aface.37 afaces(ideal); Returns a list of intvecs that correspond to the set of all afaces, optionally for given list of simplex faces.38 fullDimImages(list, intmat);Finds the afaces which have a fulldimensional projection.39 minimalAfaces(list); computethe minimal afaces among the afaces with full dimensional projection.40 orbitCones(list, intmat);Returns the list of all orbit cones.41 GITcone(list, bigintmat);Returns the GITcone containing the given weight vector.42 GITfan(ideal, intmat); Compute GITfan.43 GITfanFromOrbitCones(list, intmat, cone); Compute GITfan from orbit cones.44 GITfanParallel(list, intmat, cone); Compute GITfan in parallel from orbit cones.45 GKZfan(intmat); Returns the GKZfan of the matrix Q.46 movingCone(intmat); Computethe moving cone.36 isAface(ideal,intvec); Checks whether the given face is an aface. 37 afaces(ideal); Returns a list of intvecs that correspond to the set of all afaces, optionally for given list of simplex faces. 38 fullDimImages(list,intmat); Finds the afaces which have a fulldimensional projection. 39 minimalAfaces(list); Computes the minimal afaces among the afaces with full dimensional projection. 40 orbitCones(list,intmat); Returns the list of all orbit cones. 41 GITcone(list,bigintmat); Returns the GITcone containing the given weight vector. 42 GITfan(ideal,intmat); Computes the GITfan. 43 GITfanFromOrbitCones(list,intmat,cone); Computes the GITfan from orbit cones. 44 GITfanParallel(list,intmat,cone); Computes the GITfan in parallel from orbit cones. 45 GKZfan(intmat); Returns the GKZfan of the matrix Q. 46 movingCone(intmat); Computes the moving cone. 47 47 48 48 PROCEDURES (using group action): 49 computeAfaceOrbits(list, list); Computeorbits of afaces under a permutation group action.50 minimalAfaceOrbits(list); Findthe minimal aface orbits.51 orbitConeOrbits(list, intmat); Projectthe aface orbits to orbit cone orbits.52 minimalOrbitConeOrbits(list); Findthe minimal orbit cone orbits.53 intersectOrbitsWithMovingCone(list, cone); Intersectorbit cone orbits with moving cone.54 groupActionOnQImage(list, intmat); Determinethe induced group action in the target of the grading matrix.55 groupActionOnHashes(list, list); Determinethe induced group action on the set of orbit cones.56 storeActionOnOrbitConeIndices(list, string); Writethe group action on the set of orbit cones to a file.57 permutationFromIntvec(intvec); Createa permutation from an intvec of images.58 permutationToIntvec(permutation); Returnthe intvec of images.59 evaluateProduct(list,list); Evaluatea list of products of group elements in terms of a given representation of the elements as permutations.60 GITfanSymmetric(list, intmat, cone, list); ComputeGITfan from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GITcones.61 GITfanParallelSymmetric(list, intmat, cone,list); Compute GITfan in parallel from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GITcones.62 bigintToBinary(bigint, int);Convert bigint into a sparse binary represenation specifying the indices of the oneentries63 binaryToBigint(intvec); Convert sparse binary represenation specifying the indices of the oneentries to bigint64 applyPermutationToIntvec(intvec, permutation);Apply permutation to a set of integers represented as an intvec65 hashToCone(bigint, list);Convert a bigint hash to a GITcone66 hashesToFan(list hashes, list OC)49 computeAfaceOrbits(list,list); Computes orbits of afaces under a permutation group action. 50 minimalAfaceOrbits(list); Finds the minimal aface orbits. 51 orbitConeOrbits(list,intmat); Projects the aface orbits to orbit cone orbits. 52 minimalOrbitConeOrbits(list); Finds the minimal orbit cone orbits. 53 intersectOrbitsWithMovingCone(list,cone); Intersects orbit cone orbits with moving cone. 54 groupActionOnQImage(list,intmat); Determines the induced group action in the target of the grading matrix. 55 groupActionOnHashes(list,list); Determines the induced group action on the set of orbit cones. 56 storeActionOnOrbitConeIndices(list,string); Writes the group action on the set of orbit cones to a file. 57 permutationFromIntvec(intvec); Creates a permutation from an intvec of images. 58 permutationToIntvec(permutation); Returns the intvec of images. 59 evaluateProduct(list,list); Evaluates a list of products of group elements in terms of a given representation of the elements as permutations. 60 GITfanSymmetric(list,intmat,cone,list); Computes GITfan from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GITcones. 61 GITfanParallelSymmetric(list,intmat,cone,list); Compute GITfan in parallel from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GITcones. 62 bigintToBinary(bigint,int); Convert bigint into a sparse binary represenation specifying the indices of the oneentries 63 binaryToBigint(intvec); Convert sparse binary represenation specifying the indices of the oneentries to bigint 64 applyPermutationToIntvec(intvec,permutation);Apply permutation to a set of integers represented as an intvec 65 hashToCone(bigint,list); Convert a bigint hash to a GITcone 66 hashesToFan(list,list); Compute fan from hashes of cones and orbit cones 67 67 68 68 KEYWORDS: library, gitfan, GIT, geometric invariant theory, quotients … … 75 75 LIB "parallel.lib"; 76 76 77 proc mod_init()78 { 79 LIB " ~ren/murrumesh/gfanlib.so";80 LIB " ~ren/murrumesh/gitfan.so";77 static proc mod_init() 78 { 79 LIB "gfanlib.so"; 80 LIB "gitfan.so"; 81 81 newstruct("permutation","intvec image"); 82 82 system("install","permutation","*",composePermutations,2); … … 2614 2614 ///////////////////////////////////// 2615 2615 2616 proc gkzFan(intmat Q)2617 "USAGE: gkzFan(Q); a: ideal, Q:intmat2616 proc GKZfan(intmat Q) 2617 "USAGE: GKZfan(Q); a: ideal, Q:intmat 2618 2618 PURPOSE: Returns the GKZfan of the matrix Q. 2619 2619 RETURN: a fan. 2620 EXAMPLE: example gkzFan; shows an example2620 EXAMPLE: example GKZfan; shows an example 2621 2621 " 2622 2622 { … … 2639 2639 0,0,1,1; 2640 2640 2641 gkzFan(Q);2641 GKZfan(Q); 2642 2642 } 2643 2643
Note: See TracChangeset
for help on using the changeset viewer.