Interface ConvergentSequence<T>

All Superinterfaces:

Function<Natural,T>, Function<Natural,T>, Relation<Natural,T>, Sequence<T>

public interface ConvergentSequence<T>
extends Sequence<T>

Represents a sequence that converges to a limit.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Method Summary

Modifier and Type	Method	Description
default boolean	isConvergent()	Checks if the sequence converges.
T	limit()	Returns the limit of this sequence as n approaches infinity.

Methods inherited from interface Function

compose

Methods inherited from interface Function

andThen, compose, contains, evaluate, getBackend, isContinuous, isDifferentiable, setBackend

Methods inherited from interface Relation

getCodomain

Methods inherited from interface Sequence

apply, evaluate, get, get, getDomain, getFormula, getName, getOEISId

Method Details

limit

T limit()

Returns the limit of this sequence as n approaches infinity.

Returns:

lim_{n->∞} a_n

isConvergent

default boolean isConvergent()

Checks if the sequence converges.

Returns:

true (by definition of this interface, but useful for general checks)