Home
last modified time | relevance | path

Searched defs:rsgn (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/util/
H A Drational_gmp_imp.cpp64 int rsgn = r.sgn(); in absCmp() local
H A Drational_cln_imp.cpp63 int rsgn = r.sgn(); in absCmp() local
/dports/math/gambit/gambit-16.0.1/library/src/
H A Dinteger.cc872 int rsgn = x->sgn == y->sgn; in multiply() local
1029 int rsgn = x->sgn == ysgn; in multiply() local
1640 int rsgn = x->sgn; in lshift() local
/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/
H A Dfpa_rewriter.cpp687 rational rsgn, rexp, rsig; in mk_fp() local
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/
H A Dfpa_rewriter.cpp686 rational rsgn, rexp, rsig; in mk_fp() local
/dports/science/afni/afni-AFNI_21.3.16/src/
H A Dcl2.c89 int nres=0, *vmap=NULL, *rmap=NULL, *rsgn=NULL ; in cl2_solve() local