09/23/2010, 11:32 PM
does every superfunction contain all fixpoints in its used branch ?
for instance sexp contains both fixpoints of exp at +/- oo i on its used branch.
there is no sexp that only contains one fixpoint.
but for functions that have say 15 fixpoints , im not sure they are all on the same branch for EVERY superfunction it has ....
i think i missed a trivial thing here not ? ... since nobody else asks this , i guess the answer is known and the proof is trivial ...
note that a branch does not necc contain all or nearly all of z ( log ).
and such functions can still be superfunctions !
tommy1729
for instance sexp contains both fixpoints of exp at +/- oo i on its used branch.
there is no sexp that only contains one fixpoint.
but for functions that have say 15 fixpoints , im not sure they are all on the same branch for EVERY superfunction it has ....
i think i missed a trivial thing here not ? ... since nobody else asks this , i guess the answer is known and the proof is trivial ...
note that a branch does not necc contain all or nearly all of z ( log ).
and such functions can still be superfunctions !
tommy1729