Home
last modified time | relevance | path

Searched refs:val1r (Results 1 – 6 of 6) sorted by relevance

/dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/
H A DPRROOT.lsp6 (|val1r| (|Fraction| (|Integer|)))
56 (LETT |val1r|
62 (EXIT (LETT |res| (CONS |val1r| |res|))))))))
H A DRDEEFX.lsp1372 (|val2eq| (|Polynomial| F)) (#1=#:G801 NIL) (|val1r| NIL)
1438 (SEQ (LETT |val1r| NIL)
1445 (PROGN (LETT |val1r| (CAR #1#)) NIL))
1450 (SPADCALL |val1r|
1457 (CONS (CONS |val1r| |val2alg|)
/dports/cad/gtkwave/gtkwave-3.3.107/contrib/vpi/
H A Dacc_user.h429 XXTERN PLI_INT32 acc_append_pulsere PROTO_PARAMS((handle object, double val1r, double val1x, ...)…
457 XXTERN PLI_INT32 acc_fetch_pulsere PROTO_PARAMS((handle path_p, double *val1r, double *val1e, ...…
521 XXTERN PLI_INT32 acc_replace_pulsere PROTO_PARAMS((handle object, double val1r, double val1x, ...…
524 XXTERN PLI_INT32 acc_set_pulsere PROTO_PARAMS((handle path_p, double val1r, double val1e));
/dports/cad/gplcver/gplcver-2.12a.src/pli_incs/
H A Dacc_user.h422 EXTERN bool acc_fetch_pulsere PROTO_PARAMS((handle path_p, double *val1r,
504 EXTERN bool acc_replace_pulsere PROTO_PARAMS((handle object, double val1r,
509 EXTERN bool acc_set_pulsere PROTO_PARAMS((handle path_p, double val1r,
/dports/cad/gplcver/gplcver-2.12a.src/src/
H A Dv_acc.c169 extern bool acc_fetch_pulsere(handle path_p, double *val1r,
238 extern bool acc_replace_pulsere(handle object, double val1r,
242 extern bool acc_set_pulsere(handle path_p, double val1r, double val1e);
1759 extern bool acc_fetch_pulsere(handle path_p, double *val1r, double *val1e, ...) in acc_fetch_pulsere() argument
1814 *val1r = 0.0; in acc_fetch_pulsere()
1844 *val1r = 0.0; in acc_fetch_pulsere()
6561 extern bool acc_replace_pulsere(handle object, double val1r, double val1x, ...) in acc_replace_pulsere() argument
6630 extern bool acc_set_pulsere(handle path_p, double val1r, double val1e) in acc_set_pulsere() argument
/dports/math/fricas/fricas-1.3.7/src/algebra/
H A Drdeefx.spad309 val1r : Q := -coefficient(fac, 0) /$Q leadingCoefficient(fac)
310 res := cons(val1r, res)
817 for val1r in get_rational_solutions(eq1, s1, s2) repeat
818 val2eq := eval(eq0p, s1, val1r::F)
820 res := cons([val1r, val2alg]$SOL_REC, res)