Before

…lines 1–376 unchanged (376 lines)
377commands which deal with cones and related
378combinatorial-geometric objects.
379
380Recall, a <B>cone</B> is a strongly convex polyhedral
381cone (<Cite Key="F93"/>, page 4).
382
383<ManSection Label="InsideCone">
384 <Func Name="InsideCone" Arg=" v, L "/>
385
386 <Description>
387This command returns `true` if the vector <A>v</A> belongs to the interior
388of the (strongly convex polyhedral)
389cone generated by the vectors in <A>L</A>.
…lines 390–419 unchanged (30 lines)
420v:=[1,-7]; InsideCone(v,L);
421v:=[4,-3]; InsideCone(v,L);
422v:=[4,-4]; InsideCone(v,L);
423v:=[4,1]; InsideCone(v,L);
424-->
425
426<ManSection Label="InDualCone">
427 <Func Name="InDualCone" Arg=" v, L "/>
428
429 <Description>
430This command
431returns `true` if <A>v</A> belongs to the dual of the cone generated by
432the vectors in <A>L</A>.
…lines 433–942 unchanged (510 lines)

After

…lines 1–376 unchanged (376 lines)
377commands which deal with cones and related
378combinatorial-geometric objects.
379
380Recall, a <B>cone</B> is a strongly convex polyhedral
381cone (<Cite Key="F93"/>, page 4).
382
383<ManSection>
384 <Func Name="InsideCone" Arg=" v, L "/>
385
386 <Description>
387This command returns `true` if the vector <A>v</A> belongs to the interior
388of the (strongly convex polyhedral)
389cone generated by the vectors in <A>L</A>.
…lines 390–419 unchanged (30 lines)
420v:=[1,-7]; InsideCone(v,L);
421v:=[4,-3]; InsideCone(v,L);
422v:=[4,-4]; InsideCone(v,L);
423v:=[4,1]; InsideCone(v,L);
424-->
425
426<ManSection>
427 <Func Name="InDualCone" Arg=" v, L "/>
428
429 <Description>
430This command
431returns `true` if <A>v</A> belongs to the dual of the cone generated by
432the vectors in <A>L</A>.
…lines 433–942 unchanged (510 lines)

Before

document
prolog (+26 nodes collapsed)
element
STag
< "<"
Name "Book"
Attribute
Name "Name"
= "="
AttValue
" "\""
" "\""
> ">"
content
CharData "\n\n"
ERROR
< "<"
Name "Include"
SYSTEM "SYSTEM"
" "\""
Name "title.xml"
" "\""
> ">"
element
EmptyElemTag
< "<"
Name "TableOfContents"
/> "/>"
CharData "\n\n"
element
STag
< "<"
Name "Body"
> ">"
content
CharData "\n\n\n"
element (+3163 nodes collapsed)
CharData "\n\n"
element
STag
< "<"
Name "Chapter"
> ">"
content
CharData "\n"
element
STag
< "<"
Name "Heading"
> ">"
content
CharData "Cones and semigroups"
ETag
</ "</"
Name "Heading"
> ">"
CharData "\n\n\n "
element
STag
< "<"
Name "Section"
> ">"
content
CharData "\n "
element
STag
< "<"
Name "Heading"
> ">"
content
CharData "Cones"
ETag
</ "</"
Name "Heading"
> ">"
CharData "\n \n This section introduces the "
element
STag
< "<"
Name "Package"
> ">"
content
CharData "toric"
ETag
</ "</"
Name "Package"
> ">"
CharData "\ncommands which deal with cones and related\ncombinatorial-ge"...
element
STag
< "<"
Name "B"
> ">"
content
CharData "cone"
ETag
</ "</"
Name "B"
> ">"
CharData " is a strongly convex polyhedral\ncone ("
element
EmptyElemTag
< "<"
Name "Cite"
Attribute
Name "Key"
= "="
AttValue
" "\""
" "\""
/> "/>"
CharData ", page 4).\n\n"
element
STag
< "<"
Name "ManSection"
Attribute
Name "Label"
= "="
AttValue
" "\""
" "\""
> ">"
content (+56 nodes collapsed)
ETag
</ "</"
Name "ManSection"
> ">"
CharData "\t\t\t \n\nThis procedure does not check if "
element
STag
< "<"
Name "A"
> ">"
content
CharData "L"
ETag
</ "</"
Name "A"
> ">"
CharData " generates a \nstrongly convex polyhedral cone.\n\n "
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> L:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; v:=[0,0,1];;\nga"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nL:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; \nv:=[0,0,1];;\nIn"...
CharData "\n\n"
element
STag
< "<"
Name "ManSection"
Attribute
Name "Label"
= "="
AttValue
" "\""
" "\""
> ">"
content (+56 nodes collapsed)
ETag
</ "</"
Name "ManSection"
> ">"
CharData "\t\t\t \n\n "
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> L:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; v:=[0,0,1];;\nga"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nL:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; v:=[0,0,1];;\nInD"...
CharData " \n\n"
element (+283 nodes collapsed)
CharData "\t\t\t \n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> Perps:=[[1,0],[-1,0],[0,1],[0,-1]];\n[ [ 1, 0 ], [ -1, "...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nPerps:=[[1,0],[-1,0],[0,1],[0,-1]];\nA:=[0,4,0,3];\nPolyt"...
CharData "\n\n"
element (+99 nodes collapsed)
CharData "\t\t\t \n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> Cones1:=[[[2,-1],[-1,2]],[[-1,2],[-1,-1]],[[-1,-1],[2,"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nCones1:=[[[2,-1],[-1,2]],[[-1,2],[-1,-1]],[[-1,-1],[2,-"...
CharData "\n\n\n\n"
element (+121 nodes collapsed)
CharData "\t\t\t \n\n\n\n"
element (+133 nodes collapsed)
CharData "\t\t\t \n\nIdea: The fan "
element
STag
< "<"
Name "A"
> ">"
content
CharData "Delta"
ETag
</ "</"
Name "A"
> ">"
CharData " is represented as a set of maximal cones.\nFor each maximal "...
element
STag
< "<"
Name "A"
> ">"
content
CharData "k"
ETag
</ "</"
Name "A"
> ">"
CharData "-dimensional faces\nobtained by taking "
element
STag
< "<"
Name "M"
> ">"
content
CharData "n"
ETag
</ "</"
Name "M"
> ">"
CharData " choose "
element
STag
< "<"
Name "A"
> ">"
content
CharData "k"
ETag
</ "</"
Name "A"
> ">"
CharData " subsets of the\nrays describing the cone. Certain of these "
element
STag
< "<"
Name "A"
> ">"
content
CharData "k"
ETag
</ "</"
Name "A"
> ">"
CharData "-subsets \nyield the desired cones.\n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> Delta0:=[ [ [2,0,0],[0,2,0],[0,0,2] ], [ [2,0,0],[0,2,"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nDelta0:=[ [ [2,0,0],[0,2,0],[0,0,2] ], [ [2,0,0],[0,2,0"...
CharData "\n\n\n"
element (+169 nodes collapsed)
CharData "\t\t\t \n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> MaxCones:=[ [ [2,0,0],[0,2,0],[0,0,2] ], \n> "...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nMaxCones:=[ [ [2,0,0],[0,2,0],[0,0,2] ], [ [2,0,0],[0,2"...
CharData "\n\n"
ETag
</ "</"
Name "Section"
> ">"
CharData "\n\n"
element (+317 nodes collapsed)
CharData "\n\n"
ETag
</ "</"
Name "Chapter"
> ">"
CharData "\n\n"
element (+195 nodes collapsed)
CharData "\n\n "
element (+1260 nodes collapsed)
CharData "\n\n"
ETag
</ "</"
Name "Body"
> ">"
CharData "\n"
element
EmptyElemTag
< "<"
Name "Bibliography"
Attribute
Name "Databases"
= "="
AttValue
" "\""
" "\""
/> "/>"
CharData "\n"
element
EmptyElemTag
< "<"
Name "TheIndex"
/> "/>"
CharData " \n"
ETag
</ "</"
Name "Book"
> ">"

After

document
prolog (+26 nodes collapsed)
element
STag
< "<"
Name "Book"
Attribute
Name "Name"
= "="
AttValue
" "\""
" "\""
> ">"
content
CharData "\n\n"
ERROR
< "<"
Name "Include"
SYSTEM "SYSTEM"
" "\""
Name "title.xml"
" "\""
> ">"
element
EmptyElemTag
< "<"
Name "TableOfContents"
/> "/>"
CharData "\n\n"
element
STag
< "<"
Name "Body"
> ">"
content
CharData "\n\n\n"
element (+3163 nodes collapsed)
CharData "\n\n"
element
STag
< "<"
Name "Chapter"
> ">"
content
CharData "\n"
element
STag
< "<"
Name "Heading"
> ">"
content
CharData "Cones and semigroups"
ETag
</ "</"
Name "Heading"
> ">"
CharData "\n\n\n "
element
STag
< "<"
Name "Section"
> ">"
content
CharData "\n "
element
STag
< "<"
Name "Heading"
> ">"
content
CharData "Cones"
ETag
</ "</"
Name "Heading"
> ">"
CharData "\n \n This section introduces the "
element
STag
< "<"
Name "Package"
> ">"
content
CharData "toric"
ETag
</ "</"
Name "Package"
> ">"
CharData "\ncommands which deal with cones and related\ncombinatorial-ge"...
element
STag
< "<"
Name "B"
> ">"
content
CharData "cone"
ETag
</ "</"
Name "B"
> ">"
CharData " is a strongly convex polyhedral\ncone ("
element
EmptyElemTag
< "<"
Name "Cite"
Attribute
Name "Key"
= "="
AttValue
" "\""
" "\""
/> "/>"
CharData ", page 4).\n\n"
element
STag
< "<"
Name "ManSection"
> ">"
content (+56 nodes collapsed)
ETag
</ "</"
Name "ManSection"
> ">"
CharData "\t\t\t \n\nThis procedure does not check if "
element
STag
< "<"
Name "A"
> ">"
content
CharData "L"
ETag
</ "</"
Name "A"
> ">"
CharData " generates a \nstrongly convex polyhedral cone.\n\n "
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> L:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; v:=[0,0,1];;\nga"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nL:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; \nv:=[0,0,1];;\nIn"...
CharData "\n\n"
element
STag
< "<"
Name "ManSection"
> ">"
content (+56 nodes collapsed)
ETag
</ "</"
Name "ManSection"
> ">"
CharData "\t\t\t \n\n "
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> L:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; v:=[0,0,1];;\nga"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nL:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];; v:=[0,0,1];;\nInD"...
CharData " \n\n"
element (+283 nodes collapsed)
CharData "\t\t\t \n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> Perps:=[[1,0],[-1,0],[0,1],[0,-1]];\n[ [ 1, 0 ], [ -1, "...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nPerps:=[[1,0],[-1,0],[0,1],[0,-1]];\nA:=[0,4,0,3];\nPolyt"...
CharData "\n\n"
element (+99 nodes collapsed)
CharData "\t\t\t \n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> Cones1:=[[[2,-1],[-1,2]],[[-1,2],[-1,-1]],[[-1,-1],[2,"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nCones1:=[[[2,-1],[-1,2]],[[-1,2],[-1,-1]],[[-1,-1],[2,-"...
CharData "\n\n\n\n"
element (+121 nodes collapsed)
CharData "\t\t\t \n\n\n\n"
element (+133 nodes collapsed)
CharData "\t\t\t \n\nIdea: The fan "
element
STag
< "<"
Name "A"
> ">"
content
CharData "Delta"
ETag
</ "</"
Name "A"
> ">"
CharData " is represented as a set of maximal cones.\nFor each maximal "...
element
STag
< "<"
Name "A"
> ">"
content
CharData "k"
ETag
</ "</"
Name "A"
> ">"
CharData "-dimensional faces\nobtained by taking "
element
STag
< "<"
Name "M"
> ">"
content
CharData "n"
ETag
</ "</"
Name "M"
> ">"
CharData " choose "
element
STag
< "<"
Name "A"
> ">"
content
CharData "k"
ETag
</ "</"
Name "A"
> ">"
CharData " subsets of the\nrays describing the cone. Certain of these "
element
STag
< "<"
Name "A"
> ">"
content
CharData "k"
ETag
</ "</"
Name "A"
> ">"
CharData "-subsets \nyield the desired cones.\n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> Delta0:=[ [ [2,0,0],[0,2,0],[0,0,2] ], [ [2,0,0],[0,2,"...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nDelta0:=[ [ [2,0,0],[0,2,0],[0,0,2] ], [ [2,0,0],[0,2,0"...
CharData "\n\n\n"
element (+169 nodes collapsed)
CharData "\t\t\t \n\n"
element
STag
< "<"
Name "Example"
> ">"
content
CharData "\ngap> MaxCones:=[ [ [2,0,0],[0,2,0],[0,0,2] ], \n> "...
ETag
</ "</"
Name "Example"
> ">"
CharData "\n"
Comment "<!--\nMaxCones:=[ [ [2,0,0],[0,2,0],[0,0,2] ], [ [2,0,0],[0,2"...
CharData "\n\n"
ETag
</ "</"
Name "Section"
> ">"
CharData "\n\n"
element (+317 nodes collapsed)
CharData "\n\n"
ETag
</ "</"
Name "Chapter"
> ">"
CharData "\n\n"
element (+195 nodes collapsed)
CharData "\n\n "
element (+1260 nodes collapsed)
CharData "\n\n"
ETag
</ "</"
Name "Body"
> ">"
CharData "\n"
element
EmptyElemTag
< "<"
Name "Bibliography"
Attribute
Name "Databases"
= "="
AttValue
" "\""
" "\""
/> "/>"
CharData "\n"
element
EmptyElemTag
< "<"
Name "TheIndex"
/> "/>"
CharData " \n"
ETag
</ "</"
Name "Book"
> ">"