I need to intersect two or more cones since I'm programming a special calculator. I have some methods except for intersection which will be written. Can I intersect the cones by taking advantage of the functions? I hope and think to obtain again cone as the result, I mean intersection of two cone is cone. Isn't it?
I have rays used to create a cone. Likewise, another cone created by rays(vectors) is needed to be intersected with the other. Then I think to obtain a cone again but I suspect about that. Because Intersection of cones constructs always a cone? I hoped that there is a function in its library but there is no. I have to implement it. Please don't depend on a specific language because it is not important at all I'm asking can I accomplish it by using the functions ? If so, how ?
"Generators"
"ExtremeRays"
"VerticesFloat"
"VerticesOfPolyhedron"
"SupportHyperplanes"
"HilbertBasis"
"ModuleGenerators"
"Deg1Elements"
"ModuleGeneratorsOverOriginalMonoid"
"Sublattice"
"ExcludedFaces"
"OriginalMonoidGenerators"
"MaximalSubspace"
"Equations"
"Congruences"
"//vector valued Grading"
"Dehomogenization"
"WitnessNotIntegrallyClosed"
"GeneratorOfInterior"
"// Cardinalities TriangulationSize"
"// Integer valued"
"TriangulationDetSum"
"ReesPrimaryMultiplicity"
"GradingDenom"
"UnitGroupIndex,InternalIndex"
"ExternalIndex"
"// rational valued"
"Multiplicity"
"Volume"
"// new Integral"
"VirtualMultiplicity"
"// dimensions RecessionRank"
"AffineDim"
"ModuleRank"
"Rank"
"EmbeddingDim"
"// boolean valued IsPointed"
"IsDeg1ExtremeRays"
"IsDeg1HilbertBasis"
"IsIntegrallyClosed"
"IsReesPrimary"
"IsInhomogeneous"
"IsGorenstein"
"// complex structures Triangulation"
"StanleyDec"
"InclusionExclusionData"
"ClassGroup"
"IntegerHull"
"ProjectCone"
"ConeDecomposition"
"HilbertSeries"
"HilbertQuasiPolynomial"
"WeightedEhrhartSeries"
"WeightedEhrhartQuasiPolynomial"
"// // integer type for computations // BigInt"
"// // algorithmic variants // DefaultMode"
"Approximate"
"BottomDecomposition"
"NoBottomDec"
"DualMode"
"PrimalMode"
"Projection"
"ProjectionFloat"
"NoProjection"
"Symmetrize"
"NoSymmetrization"
"NoSubdivision"
"NoNestedTri"
"// synonym for NoSubdivision KeepOrder"
"HSOP"
"NoPeriodBound"
"SCIP"
"NoLLL"
"NoRelax,