/dports/math/py-sympy/sympy-1.9/sympy/simplify/ |
H A D | sqrtdenest.py | 9 def is_sqrt(expr): function
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/simplify/ |
H A D | sqrtdenest.py | 13 def is_sqrt(expr): function
|
/dports/math/py-Diofant/Diofant-0.13.0/diofant/polys/ |
H A D | numberfields.py | 98 def is_sqrt(expr): function
|
/dports/math/py-sympy/sympy-1.9/sympy/polys/ |
H A D | numberfields.py | 124 def is_sqrt(expr): function
|
/dports/math/cadabra2/cadabra2-2.3.6.8/core/ |
H A D | DisplayTeX.cc | 694 bool is_sqrt=false; in print_powlike() local
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/ppc32/ |
H A D | test_isa_2_07_part2.c | 1080 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
H A D | test_isa_2_06_part3.c | 1115 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/ppc64/ |
H A D | test_isa_2_07_part2.c | 1080 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
H A D | test_isa_2_06_part3.c | 1115 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/ppc32/ |
H A D | test_isa_2_07_part2.c | 1080 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
H A D | test_isa_2_06_part3.c | 1115 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/ppc64/ |
H A D | test_isa_2_07_part2.c | 1080 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
H A D | test_isa_2_06_part3.c | 1115 Bool is_sqrt = (strstr(test_group.name, "sqrt")) ? True : False; in test_vsx_one_fp_arg() local
|
/dports/math/giacxcas/giac-1.6.0/src/ |
H A D | alg_ext.cc | 1738 bool is_sqrt(const gen & a,gen & arg){ in is_sqrt() function
|
/dports/math/z3/z3-z3-4.8.13/src/api/ml/ |
H A D | z3.mli | 2096 val is_sqrt : Expr.expr -> bool val
|
H A D | z3.ml | 1326 …let is_sqrt (x:expr) = (AST.is_app x) && (FuncDecl.get_decl_kind (Expr.get_func_decl x) = OP_FPA_S… function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ml/ |
H A D | z3.mli | 2090 val is_sqrt : Expr.expr -> bool val
|
H A D | z3.ml | 1324 …let is_sqrt (x:expr) = (AST.is_app x) && (FuncDecl.get_decl_kind (Expr.get_func_decl x) = OP_FPA_S… function
|