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