ccRefinement -- computes the coarsest common refinement of a set of rays

Synopsis

• Usage:

  F = ccRefinement R

• Inputs:
  • R, a matrix
• Outputs:
  • F, an instance of the type Fan

Description

i1 : R = matrix {{1,1,-1,-1},{1,-1,1,-1},{1,1,1,1}}

o1 = | 1 1  -1 -1 |
     | 1 -1 1  -1 |
     | 1 1  1  1  |

              3        4
o1 : Matrix ZZ  <--- ZZ

i2 : F = ccRefinement R

o2 = F

o2 : Fan

i3 : rays F

o3 = | 0 -1 1  -1 1 |
     | 0 -1 -1 1  1 |
     | 1 1  1  1  1 |

              3        5
o3 : Matrix ZZ  <--- ZZ