| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | LevelConstraints.hs | 68 inequalities (LevelCmp CmpLeq a b) function
77 inequalities (LevelCmp CmpEq a b) function
83 inequalities (LevelCmp CmpEq a b) function
88 inequalities _ = Nothing function
|
| /dports/math/polymake/polymake-4.5/apps/polytope/src/ |
| H A D | lineality_via_lp.cc | 32 Int implicit_linearity_decision(const GenericMatrix<TMatrix1, Scalar>& inequalities, // or input_r… in implicit_linearity_decision()
81 lineality_indices_among_inequalities(const GenericMatrix<TMatrix1, Scalar>& inequalities, // or in… in lineality_indices_among_inequalities()
121 lineality_via_lp(const GenericMatrix<TMatrix1, Scalar>& inequalities, // or input_rays in lineality_via_lp()
|
| /dports/math/polymake/polymake-4.5/apps/polytope/include/ |
| H A D | solve_LP.h | 62 LP_Solution<Scalar> solve_LP(const GenericMatrix<Matrix1, Scalar>& inequalities, const GenericMatri… in solve_LP()
72 LP_Solution<Scalar> solve_LP(const GenericMatrix<Matrix1, Scalar>& inequalities, in solve_LP()
79 bool H_input_feasible(const GenericMatrix<Matrix1, Scalar>& inequalities, const GenericMatrix<Matri… in H_input_feasible()
|
| H A D | solve_MILP.h | 58 MILP_Solution<Scalar> solve_MILP(const GenericMatrix<Matrix1, Scalar>& inequalities, const GenericM… in solve_MILP()
70 MILP_Solution<Scalar> solve_MILP(const GenericMatrix<Matrix1, Scalar>& inequalities, in solve_MILP()
|
| /dports/math/gfan/gfan0.6.2/src/ |
| H A D | lp.cpp | 98 void LpSolver::removeRedundantRows(IntegerVectorList *inequalities, IntegerVectorList *equalities, … in removeRedundantRows()
111 void LpSolver::dual(int n, const IntegerVectorList &inequalities, const IntegerVectorList &equation… in dual()
118 bool LpSolver::hasHomogeneousSolution(int n, const IntegerVectorList &inequalities, const IntegerVe… in hasHomogeneousSolution()
237 void removeRedundantRows(IntegerVectorList *inequalities, IntegerVectorList *equalities, bool remov… in removeRedundantRows()
253 void dual(int n, const IntegerVectorList &inequalities, const IntegerVectorList &equations, Integer… in dual()
261 bool hasHomogeneousSolution(int n, const IntegerVectorList &inequalities, const IntegerVectorList &… in hasHomogeneousSolution()
|
| H A D | gfanlib_zcone.cpp | 115 …static dd_MatrixPtr ZMatrix2MatrixGmp(ZMatrix const &inequalities, ZMatrix const &equations, dd_Er… in ZMatrix2MatrixGmp()
361 static ZMatrix fastNormals(ZMatrix const &inequalities) in fastNormals()
373 …void removeRedundantRows(ZMatrix &inequalities, ZMatrix &equations, bool removeInequalityRedundanc… in removeRedundantRows()
438 ZVector relativeInteriorPoint(const ZMatrix &inequalities, const ZMatrix &equations) in relativeInteriorPoint()
490 …void dual(ZMatrix const &inequalities, ZMatrix const &equations, ZMatrix &dualInequalities, ZMatri… in dual()
596 std::vector<std::vector<int> > extremeRaysInequalityIndices(const ZMatrix &inequalities) in extremeRaysInequalityIndices()
921 ZMatrix inequalities=a.inequalities; in intersection() local
995 ZMatrix inequalities=dual.extremeRays(); in givenByRays() local
|
| H A D | gfanlib_zcone.h | 114 mutable ZMatrix inequalities; variable
|
| /dports/math/gfanlib/gfan0.6.2/src/ |
| H A D | lp.cpp | 98 void LpSolver::removeRedundantRows(IntegerVectorList *inequalities, IntegerVectorList *equalities, … in removeRedundantRows()
111 void LpSolver::dual(int n, const IntegerVectorList &inequalities, const IntegerVectorList &equation… in dual()
118 bool LpSolver::hasHomogeneousSolution(int n, const IntegerVectorList &inequalities, const IntegerVe… in hasHomogeneousSolution()
237 void removeRedundantRows(IntegerVectorList *inequalities, IntegerVectorList *equalities, bool remov… in removeRedundantRows()
253 void dual(int n, const IntegerVectorList &inequalities, const IntegerVectorList &equations, Integer… in dual()
261 bool hasHomogeneousSolution(int n, const IntegerVectorList &inequalities, const IntegerVectorList &… in hasHomogeneousSolution()
|
| H A D | gfanlib_zcone.cpp | 115 …static dd_MatrixPtr ZMatrix2MatrixGmp(ZMatrix const &inequalities, ZMatrix const &equations, dd_Er… in ZMatrix2MatrixGmp()
361 static ZMatrix fastNormals(ZMatrix const &inequalities) in fastNormals()
373 …void removeRedundantRows(ZMatrix &inequalities, ZMatrix &equations, bool removeInequalityRedundanc… in removeRedundantRows()
438 ZVector relativeInteriorPoint(const ZMatrix &inequalities, const ZMatrix &equations) in relativeInteriorPoint()
490 …void dual(ZMatrix const &inequalities, ZMatrix const &equations, ZMatrix &dualInequalities, ZMatri… in dual()
596 std::vector<std::vector<int> > extremeRaysInequalityIndices(const ZMatrix &inequalities) in extremeRaysInequalityIndices()
921 ZMatrix inequalities=a.inequalities; in intersection() local
995 ZMatrix inequalities=dual.extremeRays(); in givenByRays() local
|
| H A D | gfanlib_zcone.h | 114 mutable ZMatrix inequalities; variable
|
| /dports/math/polymake/polymake-4.5/apps/fan/src/ |
| H A D | secondary_fan.cc | 107 vertices_from_ineqs(const GenericMatrix<Matrix1, Scalar>& inequalities, in vertices_from_ineqs()
124 SparseMatrix<Scalar>& inequalities, in cone_from_subdivision()
144 SparseMatrix<Scalar> inequalities, equations; in find_lineality() local
198 facet_indices_among_ineqs(const SparseMatrix<Scalar>& inequalities, in facet_indices_among_ineqs()
230 SparseMatrix<Scalar> inequalities, equations; in flip_from_subdivision() local
|
| /dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/gfanlib/ |
| H A D | tropicalVarietyOfPolynomials.cc | 45 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in tropicalVariety() local
87 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in tropicalVarietySortedByDimension() local
|
| H A D | groebnerCone.cc | 98 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in groebnerCone() local
146 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in groebnerCone() local
205 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in groebnerCone() local
275 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in groebnerCone() local
|
| H A D | tropical.cc | 111 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in lowerHomogeneitySpace() local
165 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in groebnerCone() local
299 gfan::ZMatrix inequalities = gfan::ZMatrix(0,n); in maximalGroebnerCone() local
|
| /dports/math/polymake/polymake-4.5/bundled/sympol/apps/polytope/src/ |
| H A D | sympol_interface.cc | 97 …::PermlibGroup sympol_wrapper::compute_linear_symmetries (const Matrix<Rational>& inequalities, co… in compute_linear_symmetries()
111 …bool sympol_wrapper::computeFacets(const Matrix<Rational>& inequalities, const Matrix<Rational>& e… in computeFacets()
199 …pol::Polyhedron* sympol_wrapper::assembleSympolPolyhedron(const Matrix<Rational>& inequalities, co… in assembleSympolPolyhedron()
|
| /dports/math/py-Diofant/Diofant-0.13.0/diofant/solvers/ |
| H A D | inequalities.py | 611 def _reduce_inequalities(inequalities, symbols): argument
671 def reduce_inequalities(inequalities, symbols=[]): argument
|
| /dports/math/py-sympy/sympy-1.9/sympy/solvers/ |
| H A D | inequalities.py | 901 def _reduce_inequalities(inequalities, symbols): argument
952 def reduce_inequalities(inequalities, symbols=[]): argument
|
| /dports/math/polymake/polymake-4.5/bundled/sympol/apps/polytope/include/ |
| H A D | sympol_interface.h | 38 …static bool computeFacets(const Matrix<Rational>& inequalities, const Matrix<Rational>& equations,… in computeFacets()
|
| /dports/math/singular/Singular-Release-4-2-1/gfanlib/ |
| H A D | gfanlib_zcone.cpp | 128 …static dd_MatrixPtr ZMatrix2MatrixGmp(ZMatrix const &inequalities, ZMatrix const &equations, dd_Er… in ZMatrix2MatrixGmp()
374 static ZMatrix fastNormals(ZMatrix const &inequalities) in fastNormals()
386 …void removeRedundantRows(ZMatrix &inequalities, ZMatrix &equations, bool removeInequalityRedundanc… in removeRedundantRows()
451 ZVector relativeInteriorPoint(const ZMatrix &inequalities, const ZMatrix &equations) in relativeInteriorPoint()
503 …void dual(ZMatrix const &inequalities, ZMatrix const &equations, ZMatrix &dualInequalities, ZMatri… in dual()
609 std::vector<std::vector<int> > extremeRaysInequalityIndices(const ZMatrix &inequalities) in extremeRaysInequalityIndices()
934 ZMatrix inequalities=a.inequalities; in intersection() local
1008 ZMatrix inequalities=dual.extremeRays(); in givenByRays() local
|
| H A D | gfanlib_zcone.h | 115 mutable ZMatrix inequalities; variable
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/lib/Dialect/SDBM/ |
| H A D | SDBM.cpp | 187 SDBM SDBM::get(ArrayRef<SDBMExpr> inequalities, ArrayRef<SDBMExpr> equalities) { in get()
349 SmallVectorImpl<SDBMExpr> &inequalities, in convertDBMElement()
412 SmallVectorImpl<SDBMExpr> &inequalities) { in convertDBMDiagonalElement()
422 SmallVectorImpl<SDBMExpr> &inequalities, in getSDBMExpressions()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Dialect/SDBM/ |
| H A D | SDBM.cpp | 187 SDBM SDBM::get(ArrayRef<SDBMExpr> inequalities, ArrayRef<SDBMExpr> equalities) { in get()
349 SmallVectorImpl<SDBMExpr> &inequalities, in convertDBMElement()
412 SmallVectorImpl<SDBMExpr> &inequalities) { in convertDBMDiagonalElement()
422 SmallVectorImpl<SDBMExpr> &inequalities, in getSDBMExpressions()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/lib/Dialect/SDBM/ |
| H A D | SDBM.cpp | 187 SDBM SDBM::get(ArrayRef<SDBMExpr> inequalities, ArrayRef<SDBMExpr> equalities) { in get()
349 SmallVectorImpl<SDBMExpr> &inequalities, in convertDBMElement()
412 SmallVectorImpl<SDBMExpr> &inequalities) { in convertDBMDiagonalElement()
422 SmallVectorImpl<SDBMExpr> &inequalities, in getSDBMExpressions()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/mlir/lib/Dialect/SDBM/ |
| H A D | SDBM.cpp | 187 SDBM SDBM::get(ArrayRef<SDBMExpr> inequalities, ArrayRef<SDBMExpr> equalities) { in get()
349 SmallVectorImpl<SDBMExpr> &inequalities, in convertDBMElement()
412 SmallVectorImpl<SDBMExpr> &inequalities) { in convertDBMDiagonalElement()
422 SmallVectorImpl<SDBMExpr> &inequalities, in getSDBMExpressions()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/lib/Dialect/SDBM/ |
| H A D | SDBM.cpp | 187 SDBM SDBM::get(ArrayRef<SDBMExpr> inequalities, ArrayRef<SDBMExpr> equalities) { in get()
349 SmallVectorImpl<SDBMExpr> &inequalities, in convertDBMElement()
412 SmallVectorImpl<SDBMExpr> &inequalities) { in convertDBMDiagonalElement()
422 SmallVectorImpl<SDBMExpr> &inequalities, in getSDBMExpressions()
|