FindInstance::naqs Reduce::naqs
General::real
Reduce`InequalityInstance::lowpr Reduce`ExistsRealQ::lowpr Reduce`ForAllRealQ::lowpr Reduce`ImpliesRealQ::lowpr
Maximize::consf Minimize::consf Reduce`Infimum::consf Reduce`Supremum::consf
NMinimize::bcons NMaximize::bcons
NMinimize::incst NMaximize::incst
NMinimize::nosat NMaximize::nosat
ClebschGordan::tri
Maximize::wksol
Minimize::wksol