Searched refs:symb_and (Results 1 – 8 of 8) sorted by relevance
/dports/math/giacxcas/giac-1.6.0/src/ |
H A D | intg.cc | 3447 giac_assume(symb_and(symb_superieur_egal(x,a),symb_inferieur_egal(x,b)),contextptr); in _integrate() 3454 giac_assume(symb_and(symb_superieur_egal(x,a),symb_inferieur_egal(x,b)),contextptr); in _integrate() 3462 giac_assume(symb_and(symb_superieur_egal(x,b),symb_inferieur_egal(x,a)),contextptr); in _integrate() 3732 …giac_assume(symb_and(symb_superieur_egal(x,borne_inf),symb_inferieur_egal(x,borne_sup)),contextptr… in _integrate() 3740 …giac_assume(symb_and(symb_superieur_egal(x,borne_sup),symb_inferieur_egal(x,borne_inf)),contextptr… in _integrate() 3751 …giac_assume(symb_and(symb_superieur_egal(x,borne_inf),symb_inferieur_egal(x,borne_sup)),contextptr… in _integrate() 3761 …giac_assume(symb_and(symb_superieur_egal(x,borne_sup),symb_inferieur_egal(x,borne_inf)),contextptr… in _integrate() 3805 …giac_assume(symb_and(symb_superieur_egal(x,borne_inf),symb_inferieur_egal(x,borne_sup)),contextptr… in _integrate() 3807 …giac_assume(symb_and(symb_superieur_egal(x,borne_sup),symb_inferieur_egal(x,borne_inf)),contextptr… in _integrate()
|
H A D | usual.h | 166 symbolic symb_and(const gen & a,const gen & b);
|
H A D | input_parser.yy | 247 …/* | exp T_TEST_EQUAL symbol T_TEST_EQUAL exp {$$ = symb_and(symbolic(*$2._FUNCptr,gen(makevecteur…
|
H A D | solve.cc | 582 res.push_back(is_one(successtest)?tmp:symb_and(tmp,successtest)); in solve_piecewise() 591 tmp=is_one(successtest)?tmp:symb_and(tmp,successtest); in solve_piecewise() 592 res.push_back(symb_and(tmp,g)); in solve_piecewise() 595 res.push_back(is_one(successtest)?g:symb_and(successtest,g)); in solve_piecewise()
|
H A D | misc.cc | 7567 giac_assume(symb_and(symb_superieur_egal(t,tmin),symb_inferieur_egal(t,tmax)),contextptr); in step_param_() 8141 giac_assume(symb_and(symb_superieur_egal(x,xmin),symb_inferieur_egal(x,xmax)),contextptr); in step_func_()
|
H A D | prog.cc | 1009 … return symb_and(a,symbolic(*op._FUNCptr,gen(makevecteur(a._SYMBptr->feuille[1],b),_SEQ__VECT))); in symb_test_equal()
|
H A D | usual.cc | 5662 symbolic symb_and(const gen & a,const gen & b){ in symb_and() function
|
H A D | gen.cc | 9778 return symb_and(a,b); in operator &&()
|