Home Online Manual
Top
Back: getCone
Forward: isCompatible
FastBack:
FastForward:
Up: gfan_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.1.49 insertCone

Procedure from library gfan.lib (see gfan_lib).

Usage:
insertCone(f,c[,b]); f fan, c cone, b int

Assume:
isCompatible(f,c)=1

Return:
none, inserts the cone c into f
if b=0, then skips check whether f and c are compatible

Example:
 
LIB "gfan.lib";
fan f=emptyFan(3);
f;
==> _application PolyhedralFan
==> _version 2.2
==> _type PolyhedralFan
==> 
==> AMBIENT_DIM
==> 3
==> 
==> DIM
==> -1
==> 
==> LINEALITY_DIM
==> 3
==> 
==> RAYS
==> 
==> N_RAYS
==> 0
==> 
==> LINEALITY_SPACE
==> 1 0 0	# 0
==> 0 1 0	# 1
==> 0 0 1	# 2
==> 
==> ORTH_LINEALITY_SPACE
==> 
==> F_VECTOR
==> 
==> 
==> SIMPLICIAL
==> 1
==> 
==> PURE
==> 1
==> 
==> CONES
==> 
==> MAXIMAL_CONES
==> 
intmat M[3][3]=
1,0,0,
0,1,0,
0,0,1;
cone c=coneViaPoints(M);
insertCone(f,c);
f;
==> _application PolyhedralFan
==> _version 2.2
==> _type PolyhedralFan
==> 
==> AMBIENT_DIM
==> 3
==> 
==> DIM
==> 3
==> 
==> LINEALITY_DIM
==> 0
==> 
==> RAYS
==> 0 0 1	# 0
==> 0 1 0	# 1
==> 1 0 0	# 2
==> 
==> N_RAYS
==> 3
==> 
==> LINEALITY_SPACE
==> 
==> ORTH_LINEALITY_SPACE
==> -1 0 0	# 0
==> 0 -1 0	# 1
==> 0 0 -1	# 2
==> 
==> F_VECTOR
==> 1 3 3 1
==> 
==> SIMPLICIAL
==> 1
==> 
==> PURE
==> 1
==> 
==> CONES
==> {}	# Dimension 0
==> {0}	# Dimension 1
==> {1}
==> {2}
==> {0 1}	# Dimension 2
==> {0 2}
==> {1 2}
==> {0 1 2}	# Dimension 3
==> 
==> MAXIMAL_CONES
==> {0 1 2}	# Dimension 3
==>