Home
last modified time | relevance | path

Searched refs:giac_assume (Results 1 – 12 of 12) sorted by relevance

/dports/math/giacxcas/giac-1.6.0/src/
H A Dintg.cc3447 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 Dusual.h360 gen giac_assume(const gen & a,GIAC_CONTEXT);
H A Doptimization.cc356 giac_assume(open?symb_superieur_strict(v,vmin):symb_superieur_egal(v,vmin),contextptr); in make_temp_vars()
358 giac_assume(open?symb_inferieur_strict(v,vmax):symb_inferieur_egal(v,vmax),contextptr); in make_temp_vars()
381 giac_assume(symb_superieur_strict(vars[n+i],gen(0)),contextptr); // dual feasibility in solve_kkt()
H A Dalg_ext.cc1641 …giac_assume(symbolic(at_and,makevecteur(symb_superieur_egal(var,range[0]),symb_inferieur_egal(var,… in fminmax()
H A Dsignalprocessing.cc740 giac_assume(symb_superieur_egal(tvar,0),contextptr); in _convolution()
H A Dgiac.i1813 gen giac_assume(const gen & a,giac::context * );
H A Dgiacjs.i1809 gen giac_assume(const gen & a,giac::context * );
H A Dusual.cc4609 gen giac_assume(const gen & a,GIAC_CONTEXT){ in giac_assume() function
4651 static define_unary_function_eval_quoted (giac__assume,&giac_assume,giac_assume_s);
4675 gen tmp=giac_assume(a,contextptr); in giac_additionally()
H A Dplot.cc6955 gen tmpg=giac_assume(makevecteur(gen_t,at_real),contextptr); in _lieu()
6960 tmpg=giac_assume(symbolic(at_and,makevecteur(symb_superieur_egal(gen_t,tmin), in _lieu()
6964 tmpg=giac_assume(symb_superieur_egal(gen_t,tmin),contextptr); in _lieu()
6968 tmpg=giac_assume(symb_inferieur_egal(gen_t,tmax),contextptr); in _lieu()
H A Dsym2poly.cc2965 giac_assume(L[k],contextptr); in normal()
H A Dmisc.cc7567 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 Dgiac_wrap.cxx36754 result = giac::giac_assume((giac::gen const &)*arg1,arg2); in Java_javagiac_giacJNI_giac_1assume()