|
/top,util,minmax,multi_bernstein,multi_polynomial,poly2bernstein,vardirselector,bernstein_minmax,MPoly,multi_polylist,poly_minmax,Outcome,strat_util,strategies,boxes_def,OutBoxes,boxes
structures/listn,for_iterate,array2list,more_list_props,Unit_adt,Unit
reals/binomial_identities,factorial,binomial,polynomials,real_fun_ops,sigma_upto,sigma_swap,product_nat,product,bernstein_polynomials,sigma,sq,product_below,sigma_nat
sigma_set/sigma_bijection
ints/factorial
top:util,minmax,multi_bernstein,multi_polynomial,poly2bernstein,vardirselector,bernstein_minmax,MPoly,multi_polylist,poly_minmax,Outcome,strat_util,strategies,boxes_def,OutBoxes,boxes
util:structures@array2list
minmax:util
multi_bernstein:reals@product_nat,reals@polynomials,sigma_set@sigma_bijection,reals@bernstein_polynomials,util
multi_polynomial:reals@product_nat,reals@polynomials,sigma_set@sigma_bijection,util,reals@sq
poly2bernstein:multi_polynomial,multi_bernstein
vardirselector:multi_bernstein
bernstein_minmax:vardirselector,structures@for_iterate,multi_bernstein,minmax
MPoly:util,multi_polynomial
multi_polylist:util,reals@polynomials,multi_polynomial,MPoly
poly_minmax:poly2bernstein,bernstein_minmax
Outcome:
strat_util:MPoly,poly_minmax,Outcome
strategies:structures@Unit,strat_util
boxes_def:util,structures@listn,reals@product_below
OutBoxes:boxes_def
boxes:structures@listn,structures@for_iterate,poly2bernstein,strat_util,OutBoxes
[ Dauer der Verarbeitung: 0.22 Sekunden
(vorverarbeitet)
]
|
