| /dports/math/reduce/Reduce-svn5758-src/packages/cde/examples_book/ |
| H A D | uh_sym1.red | 45 lin_eq:={ell_uh(1,1,psi)}$
47 system_eq:=splitvars_list(lin_eq,split_vars)$
|
| H A D | kdv_hsy2.red | 47 lin_eq:={ell_kdv(1,1,sym)}$
48 system_eq:=splitvars_list(lin_eq,split_vars)$
|
| H A D | uh_csy1.red | 46 lin_eq:={ellstar_uh(1,1,psi)}$
48 system_eq:=splitvars_list(lin_eq,split_vars)$
|
| H A D | kdv_hsy3.red | 47 lin_eq:={ell_kdv(1,1,sym)}$
48 system_eq:=splitvars_list(lin_eq,split_vars)$
|
| H A D | kdv_ro2.red | 67 lin_eq:={ell_kdv(1,1,sym)}$
68 lin_eq_splitext:=splitext_list(lin_eq)$
|
| /dports/math/eukleides/eukleides-1.5.4/src/common/ |
| H A D | test.h | 62 void lin_eq(void);
|
| H A D | test.c | 219 void lin_eq(void) in lin_eq() function
|
| H A D | parser.y | 1685 { XEQ_(lin_eq); }
|
| /dports/science/cp2k/cp2k-2e995eec7fd208c8a72d9544807bd8b8ba8cd1cc/src/ |
| H A D | dm_ls_scf_curvy.F | 490 lin_eq(3, 3), new_norm, norm_cA, & local
496 lin_eq = 0.0_dp
504 lin_eq(i, :) = (/fac**2, fac, 1.0_dp/)
507 CALL invmat(lin_eq, info)
508 vec = MATMUL(lin_eq, devi)
|
| /dports/science/cp2k-data/cp2k-7.1.0/src/ |
| H A D | dm_ls_scf_curvy.F | 490 lin_eq(3, 3), new_norm, norm_cA, & local
496 lin_eq = 0.0_dp
504 lin_eq(i, :) = (/fac**2, fac, 1.0_dp/)
507 CALL invmat(lin_eq, info)
508 vec = MATMUL(lin_eq, devi)
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | optimize_constraints.cpp | 56 } else if (c->id() == constants().ids.int_.lin_eq) { in o_linear()
71 if (c->id() == constants().ids.int_.lin_eq) { in o_linear()
136 } else if (c->id() == constants().ids.int_.lin_eq && coeffs.size() == 2 && in o_linear()
480 OptimizeRegistry::registry().reg(constants().ids.int_.lin_eq, o_linear); in Register()
|
| H A D | ast.cpp | 1517 ids.int_.lin_eq = ASTString("int_lin_eq"); in mark()
1532 ids.int_reif.lin_eq = ASTString("int_lin_eq_reif"); in mark()
1547 ids.float_.lin_eq = ASTString("float_lin_eq"); in mark()
1565 ids.float_reif.lin_eq = ASTString("float_lin_eq_reif"); in mark()
1755 ids.int_.lin_eq.mark(); in mark()
1770 ids.int_reif.lin_eq.mark(); in mark()
1785 ids.float_.lin_eq.mark(); in mark()
1803 ids.float_reif.lin_eq.mark(); in mark()
|
| H A D | MIPdomains.cpp | 363 int_lin_eq = env.model->matchFn(env, constants().ids.int_.lin_eq, int_lin_eq_t, false); in registerLinearConstraintDecls()
368 float_lin_eq = env.model->matchFn(env, constants().ids.float_.lin_eq, float_lin_eq_t, false); in registerLinearConstraintDecls()
1838 auto sName = constants().ids.float_.lin_eq; // "int_lin_eq"; in addLinConstr()
1886 sName = constants().ids.int_.lin_eq; // "int_lin_eq"; in addLinConstr()
|
| H A D | flatten.cpp | 693 MZN_FILL_REIFY_MAP(int_, lin_eq);
707 MZN_FILL_REIFY_MAP(float_, lin_eq);
3006 FunctionI* fi = env.model->matchFn(env, constants().ids.int_.lin_eq, int_lin_eq_t, false); in flatten()
3016 FunctionI* fi = env.model->matchFn(env, constants().ids.float_.lin_eq, float_lin_eq_t, false); in flatten()
3866 cid = constants().ids.int_.lin_eq; in cleanup_vardecl()
3882 cid = constants().ids.float_.lin_eq; in cleanup_vardecl()
|
| H A D | optimize.cpp | 378 } else if (c->id() == constants().ids.int_.lin_eq && in optimize()
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | ast.hh | 1755 ASTString lin_eq; // NOLINT(readability-identifier-naming) member
1772 ASTString lin_eq; // NOLINT(readability-identifier-naming) member
1789 ASTString lin_eq; // NOLINT(readability-identifier-naming) member
1809 ASTString lin_eq; // NOLINT(readability-identifier-naming) member
|
| H A D | flatten_internal.hh | 253 callid = constants().ids.int_.lin_eq; in constructLinBuiltin()
369 callid = constants().ids.float_.lin_eq; in constructLinBuiltin()
|
| /dports/math/minizinc/libminizinc-2.5.5/solvers/nl/ |
| H A D | nl_file.cpp | 242 if (id == consint.lin_eq) { in analyseConstraint()
282 else if (id == consfp.lin_eq) { in analyseConstraint()
|