isCycle -- checks if a list of cells with orientation make a cycle

Synopsis

• Usage:

  isCycle L

• Inputs:
  • L, a list, whose entries are pairs, whose first entry is a cell and whose second entry is a degree
• Outputs:
  • a Boolean value, true if the given cell-degree pairs form a cycle false otherwise

Description

i1 : R = QQ[x,y,z];

i2 : vx = newSimplexCell({},x);

i3 : vy = newSimplexCell({},y);

i4 : vz = newSimplexCell({},z);

i5 : lxy = newSimplexCell({vx,vy});

i6 : lyz = newSimplexCell({vy,vz});

i7 : lxz = newSimplexCell({vx,vz});

i8 : assert(isCycle {(lxy,1)} == false);

i9 : assert(isCycle {{lxy,1},{lyz,1},{lxz,-1}} == true);

i10 : assert(isCycle {{lxy,1},{lyz,1},{lxz,1}} == false);