$p=cube(3); application 'fan'; $f=normal_fan($p); $f->VISUAL; print $f->F_VECTOR; $f->HASSE_DIAGRAM->VISUAL; $f2=new PolyhedralFan(INPUT_RAYS=>[[1,0],[0,1],[1,-1]],MAXIMAL_CONES=>[[0,1],[1,2]]); print $f2->PURE; application 'topaz'; print $f->INTERSECTION_COMPLEX->SPHERE; print $f2->INTERSECTION_COMPLEX->SPHERE; application "polytope";#Cones and Subdivisions. $s1=new PointConfiguration(POINTS=>$p->VERTICES,WEIGHTS=>[2,2,0,0,0,0,0,1]); print $s1->POLYTOPAL_SUBDIVISION; print rows_labeled($s1->POINTS); $s1->VISUAL->POLYTOPAL_SUBDIVISION; $sc=secondary_cone($s1->POINTS,$s1->POLYTOPAL_SUBDIVISION); print $sc->RAYS; print $sc->DIM; print $sc->LINEALITY_SPACE; $s2=new PointConfiguration(POINTS=>$s1->POINTS,WEIGHTS=>$sc->RAYS->[0]); $s2->VISUAL->POLYTOPAL_SUBDIVISION; print $s2->POLYTOPAL_SUBDIVISION; $s3=new PointConfiguration(POINTS=>$s1->POINTS,WEIGHTS=>$sc->RAYS->[1]); print $s3->POLYTOPAL_SUBDIVISION; $s3->VISUAL->POLYTOPAL_SUBDIVISION; print $sc->REL_INT_POINT; $s4=new PointConfiguration(POINTS=>$s1->POINTS,WEIGHTS=>$sc->REL_INT_POINT); print $s4->POLYTOPAL_SUBDIVISION; application "graph"; print $p->GRAPH->ADJACENCY; $g1=new Graph(ADJACENCY=>[[1,2],[0,2],[0,1]]); $g2=new Graph(ADJACENCY=>[[1,2],[0,2],[0,1],[]]); $g1->VISUAL; print $g1->CONNECTED; print $g1->N_CONNECTED_COMPONENTS; print $g2->N_CONNECTED_COMPONENTS; print $p->GRAPH->EDGE_DIRECTIONS; $g=new Graph(ADJACENCY=>[[1,3],[0,2],[1,3,4],[0,2,4],[2,3]]); $g->VISUAL; print $g->DIAMETER; application "matroid"; $mat=matroid_from_graph($g); print $mat->BASES; print $mat->NON_BASES; print $mat->RANK; print $mat->CIRCUITS; print rows_labeled($g->EDGES); $m=new Matroid(POINTS=>[[1,0,5],[1,0,6],[1,0,7],[1,0,5],[1,3,7]]); print $m->BASES; print $m->COCIRCUITS; print $m->CIRCUITS; $m2=new Matroid(BASES=>[[0,1],[0,2],[0,3],[1,2],[1,3]]); $m2=new Matroid(BASES=>[[0,1],[0,2],[0,3],[1,2],[1,3]],N_ELEMENTS=>4); print $m2->POLYTOPE->VERTICES; $p_proj=polytope::projection($m2->POLYTOPE); $p_proj->VISUAL; application 'tropical'; $t2=matroid::tropical_matroid_polytope($m2); javaview($t2->VISUAL);