Macaulay2 » Documentation
Packages » MatchingFields » amalgamation
next | previous | forward | backward | up | index | toc

amalgamation -- The $i$th amalgamation of a tope field

Description

Computes the $i$th amalgamation of a tope field. Note that the tope field must be linkage for amalgamation to be well-defined.

i1 : L = matchingFieldFromPermutation(3,6,{4,5,6,1,2,3});
i2 : getTuples L

o2 = {{2, 1, 3}, {2, 1, 4}, {3, 1, 4}, {3, 2, 4}, {2, 1, 5}, {3, 1, 5}, {3,
     ------------------------------------------------------------------------
     2, 5}, {1, 4, 5}, {2, 4, 5}, {3, 4, 5}, {2, 1, 6}, {3, 1, 6}, {3, 2, 6},
     ------------------------------------------------------------------------
     {1, 4, 6}, {2, 4, 6}, {3, 4, 6}, {1, 5, 6}, {2, 5, 6}, {3, 5, 6}, {5, 4,
     ------------------------------------------------------------------------
     6}}

o2 : List
i3 : T = topeField L

o3 = Tope field: n = 6 and type = {1, 1, 1}

o3 : TopeField
i4 : T1 = amalgamation(1, T)

o4 = Tope field: n = 6 and type = {2, 1, 1}

o4 : TopeField
i5 : getTuples T1

o5 = {{2, 3, 1, 4}, {2, 3, 1, 5}, {1, 2, 4, 5}, {1, 3, 4, 5}, {2, 3, 4, 5},
     ------------------------------------------------------------------------
     {2, 3, 1, 6}, {1, 2, 4, 6}, {1, 3, 4, 6}, {2, 3, 4, 6}, {1, 2, 5, 6},
     ------------------------------------------------------------------------
     {1, 3, 5, 6}, {2, 3, 5, 6}, {1, 5, 4, 6}, {2, 5, 4, 6}, {3, 5, 4, 6}}

o5 : List

See also

Menu

Ways to use amalgamation:

  • amalgamation(ZZ,GrMatchingField)
  • amalgamation(ZZ,TopeField)

For the programmer

The object amalgamation is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/MatchingFields.m2:3222:0.