Changeset 1381ff1 in git


Ignore:
Timestamp:
Feb 1, 2017, 12:47:36 PM (6 years ago)
Author:
Janko Boehm <boehm@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
5a87b3ed87cef22b87ffd49edbc7b864af0582d8
Parents:
d3b0a3af59a209d3b618329c1730a79b966dc777
git-author:
Janko Boehm <boehm@mathematik.uni-kl.de>2017-02-01 12:47:36+01:00
git-committer:
Yue Ren <ren@mathematik.uni-kl.de>2017-06-08 18:10:26+02:00
Message:
Docu
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/gitfan.lib

    rd3b0a3 r1381ff1  
    66LIBRARY:   gitfan.lib       Compute GIT-fans.
    77
    8 AUTHORS: Janko Boehm, boehm at mathematik.uni-kl.de @*
    9          Simon Keicher, keicher at mail.mathematik.uni-tuebingen.de @*
    10          Yue Ren, ren at mathematik.uni-kl.de @*
     8AUTHORS: Janko Boehm,   boehm@mathematik.uni-kl.de @*
     9         Simon Keicher, keicher@mail.mathematik.uni-tuebingen.de @*
     10         Yue Ren,       ren@mathematik.uni-kl.de @*
    1111
    1212OVERVIEW:
    … …  
    3434
    3535PROCEDURES (not using group action):
    36   isAface(ideal, intvec); Checks whether the given face is an a-face.
    37   afaces(ideal); Returns a list of intvecs that correspond to the set of all a-faces, optionally for given list of simplex faces.
    38   fullDimImages(list, intmat); Finds the afaces which have a full-dimensional projection.
    39   minimalAfaces(list); compute the minimal a-faces among the a-faces with full dimensional projection.
    40   orbitCones(list, intmat); Returns the list of all orbit cones.
    41   GITcone(list, bigintmat); Returns the GIT-cone containing the given weight vector.
    42   GITfan(ideal, intmat); Compute GIT-fan.
    43   GITfanFromOrbitCones(list, intmat, cone); Compute GIT-fan from orbit cones.
    44   GITfanParallel(list, intmat, cone); Compute GIT-fan in parallel from orbit cones.
    45   GKZfan(intmat); Returns the GKZ-fan of the matrix Q.
    46   movingCone(intmat); Compute the moving cone.
     36  isAface(ideal,intvec);                      Checks whether the given face is an a-face.
     37  afaces(ideal);                               Returns a list of intvecs that correspond to the set of all a-faces, optionally for given list of simplex faces.
     38  fullDimImages(list,intmat);                  Finds the afaces which have a full-dimensional projection.
     39  minimalAfaces(list);                         Computes the minimal a-faces among the a-faces with full dimensional projection.
     40  orbitCones(list,intmat);                    Returns the list of all orbit cones.
     41  GITcone(list,bigintmat);                    Returns the GIT-cone containing the given weight vector.
     42  GITfan(ideal,intmat);                        Computes the GIT-fan.
     43  GITfanFromOrbitCones(list,intmat,cone);      Computes the GIT-fan from orbit cones.
     44  GITfanParallel(list,intmat,cone);            Computes the GIT-fan in parallel from orbit cones.
     45  GKZfan(intmat);                              Returns the GKZ-fan of the matrix Q.
     46  movingCone(intmat);                          Computes the moving cone.
    4747
    4848PROCEDURES (using group action):
    49   computeAfaceOrbits(list, list); Compute orbits of a-faces under a permutation group action.
    50   minimalAfaceOrbits(list); Find the minimal a-face orbits.
    51   orbitConeOrbits(list, intmat); Project the a-face orbits to orbit cone orbits.
    52   minimalOrbitConeOrbits(list); Find the minimal orbit cone orbits.
    53   intersectOrbitsWithMovingCone(list, cone); Intersect orbit cone orbits with moving cone.
    54   groupActionOnQImage(list, intmat); Determine the induced group action in the target of the grading matrix.
    55   groupActionOnHashes(list, list); Determine the induced group action on the set of orbit cones.
    56   storeActionOnOrbitConeIndices(list, string); Write the group action on the set of orbit cones to a file.
    57   permutationFromIntvec(intvec); Create a permutation from an intvec of images.
    58   permutationToIntvec(permutation); Return the intvec of images.
    59   evaluateProduct(list,list); Evaluate a list of products of group elements in terms of a given representation of the elements as permutations.
    60   GITfanSymmetric(list, intmat, cone, list); Compute GIT-fan from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GIT-cones.
    61   GITfanParallelSymmetric(list, intmat, cone, list); Compute GIT-fan in parallel from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GIT-cones.
    62   bigintToBinary(bigint, int); Convert bigint into a sparse binary represenation specifying the indices of the one-entries
    63   binaryToBigint(intvec); Convert sparse binary represenation specifying the indices of the one-entries 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 GIT-cone
    66   hashesToFan(list hashes, list OC)
     49  computeAfaceOrbits(list,list);               Computes orbits of a-faces under a permutation group action.
     50  minimalAfaceOrbits(list);                    Finds the minimal a-face orbits.
     51  orbitConeOrbits(list,intmat);                Projects the a-face 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 GIT-fan from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GIT-cones.
     61  GITfanParallelSymmetric(list,intmat,cone,list); Compute GIT-fan in parallel from orbit cones by determining a minimal representing set for the orbits of maximal dimensional GIT-cones.
     62  bigintToBinary(bigint,int);                  Convert bigint into a sparse binary represenation specifying the indices of the one-entries
     63  binaryToBigint(intvec);                      Convert sparse binary represenation specifying the indices of the one-entries 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 GIT-cone
     66  hashesToFan(list,list);                      Compute fan from hashes of cones and orbit cones
    6767
    6868KEYWORDS: library, gitfan, GIT, geometric invariant theory, quotients
    … …  
    7575LIB "parallel.lib";
    7676
    77 proc mod_init()
    78 {
    79   LIB "~ren/murrumesh/gfanlib.so";
    80   LIB "~ren/murrumesh/gitfan.so";
     77static proc mod_init()
     78{
     79  LIB "gfanlib.so";
     80  LIB "gitfan.so";
    8181  newstruct("permutation","intvec image");
    8282  system("install","permutation","*",composePermutations,2);
    … …  
    26142614/////////////////////////////////////
    26152615
    2616 proc gkzFan(intmat Q)
    2617 "USAGE: gkzFan(Q); a: ideal, Q:intmat
     2616proc GKZfan(intmat Q)
     2617"USAGE: GKZfan(Q); a: ideal, Q:intmat
    26182618PURPOSE: Returns the GKZ-fan of the matrix Q.
    26192619RETURN: a fan.
    2620 EXAMPLE: example gkzFan; shows an example
     2620EXAMPLE: example GKZfan; shows an example
    26212621"
    26222622{
    … …  
    26392639    0,0,1,1;
    26402640
    2641   gkzFan(Q);
     2641  GKZfan(Q);
    26422642}
    26432643
Note: See TracChangeset for help on using the changeset viewer.