superfunction contain fix ?

[tommy1729]

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

[tommy1729]

my current understanding is this :

two fixpoints do not match if those fixpoints are not on the same branch of the superfunction.

and by analogue

two fixpoints do match if those fixpoints are on the same branch of the superfunction.

we should be able to use that for some purpose... such as finding a function whose super matches on 3 fixpoints.

regards

tommy1729

[tommy1729]

my current understanding is this :

two fixpoints do not match if those fixpoints are not on the same branch of the superfunction.

and by analogue

two fixpoints do match if those fixpoints are on the same branch of the superfunction.

we should be able to use that for some purpose... such as finding a function whose super matches on 3 fixpoints.

regards

tommy1729

is that correct ?