| #### D.13.3.16 intersectOrbitsWithMovingCone Procedure from library `gitfan.lib` (see gitfan_lib). Usage: intersectOrbitsWithMovingCone(OCmin, mov); OCmin: list of lists of cones, mov: cone Purpose: Intersects all cones in the orbits in OCmin with mov discarting all orbits of cones which are not of full dimension. The resulting orbits are duplicate free. Return: a list of lists of cones Example:
    LIB "gitfan.lib";
    ring R = 0,T(1..10),wp(1,1,1,1,1,1,1,1,1,1);
    ideal J =
    T(5)*T(10)-T(6)*T(9)+T(7)*T(8),
    T(1)*T(9)-T(2)*T(7)+T(4)*T(5),
    T(1)*T(8)-T(2)*T(6)+T(3)*T(5),
    T(1)*T(10)-T(3)*T(7)+T(4)*T(6),
    T(2)*T(10)-T(3)*T(9)+T(4)*T(8);
    intmat Q[5][10] =
    1, 1, 1, 1, 0, 0, 0, 0, 0, 0,
    1, 0, 0, 0, 1, 1, 1, 0, 0, 0,
    0, 1, 1, 0, 0, 0, -1, 1, 0, 0,
    0, 1, 0, 1, 0, -1, 0, 0, 1, 0,
    0, 0, 1, 1, -1, 0, 0, 0, 0, 1;
    list simplexSymmetryGroup = G25Action();
    list simplexOrbitRepresentatives = intvec( 1, 2, 3, 4, 5 ),
    intvec( 1, 2, 3, 5, 6 ),
    intvec( 1, 2, 3, 5, 7 ),
    intvec( 1, 2, 3, 5, 10 ),
    intvec( 1, 2, 3, 7, 9 ),
    intvec( 1, 2, 6, 9, 10 ),
    intvec( 1, 2, 3, 4, 5, 6 ),
    intvec( 1, 2, 3, 4, 5, 10 ),
    intvec( 1, 2, 3, 5, 6, 8 ),
    intvec( 1, 2, 3, 5, 6, 9 ),
    intvec( 1, 2, 3, 5, 7, 10 ),
    intvec( 1, 2, 3, 7, 9, 10 ),
    intvec( 1, 2, 3, 4, 5, 6, 7 ),
    intvec( 1, 2, 3, 4, 5, 6, 8 ),
    intvec( 1, 2, 3, 4, 5, 6, 9 ),
    intvec( 1, 2, 3, 5, 6, 9, 10 ),
    intvec( 1, 2, 3, 4, 5, 6, 7, 8 ),
    intvec( 1, 2, 3, 4, 5, 6, 9, 10 ),
    intvec( 1, 2, 3, 4, 5, 6, 7, 8, 9 ),
    intvec( 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 );
    list afaceOrbitRepresentatives=afaces(J,simplexOrbitRepresentatives);
    list fulldimAfaceOrbitRepresentatives=fullDimImages(afaceOrbitRepresentatives,Q);
    list afaceOrbits=computeAfaceOrbits(fulldimAfaceOrbitRepresentatives,simplexSymmetryGroup);
    apply(afaceOrbits,size);
    ==> 10 15 10 1
    list minAfaceOrbits = minimalAfaceOrbits(afaceOrbits);
    apply(minAfaceOrbits,size);
    ==> 10 15
    list listOfOrbitConeOrbits = orbitConeOrbits(minAfaceOrbits,Q);
    cone mov = movingCone(Q);
    intersectOrbitsWithMovingCone(listOfOrbitConeOrbits,mov);
    ==> [1]:
    ==>    [1]:
    ==>       AMBIENT_DIM
    ==> 5
    ==> FACETS
    ==> -2,1, 1, 1, 1,
    ==> -1,1, 0, 0, 1,
    ==> -1,1, 0, 1, 0,
    ==> -1,1, 1, 0, 0,
    ==>  0,0, 0, 0, 1,
    ==>  0,0, 0, 1, 0,
    ==>  0,0, 1, 0, 0,
    ==>  1,0,-1, 0, 0,
    ==>  1,0, 0,-1, 0,
    ==>  1,0, 0, 0,-1
    ==> LINEAR_SPAN
    ==>
    ==>

User manual for Singular version 4.4.1, 2025, generated by texi2html.