AERN2.Continuity.Principles

Documentation

maxSeqIndexUsed :: (CSequence t -> CKleenean) -> CSequence t -> Integer

Apply a predicate to a CSequence, assuming it returns True and return the largest index in the sequence that was accessed during the computation. Index 0 means that the sequence was not accessed at all, 1 means the first element was accessed, etc.

maxIntParamUsed :: ((Integer -> t) -> CKleenean) -> (Integer -> t) -> Integer

Apply a predicate to a convergent sequence, assuming it returns True and return the largest index in the sequence that was accessed during the computation. Index 0 means that the sequence was not accessed at all, 1 means the sequence was called only with index 0, etc.