Struct TTEOracle 

pub struct TTEOracle {
    pub name: String,
    pub max_precision: usize,
    pub approx_cache: Vec<i64>,
}

A Type-2 Turing machine representation for computable analysis. Computes on infinite streams (Baire space ℕ^ℕ) rather than finite words.

Fields

name: String

Name / description of the represented real function.

max_precision: usize

Maximum precision (in bits) we track in simulation.

approx_cache: Vec<i64>

Cached approximations: approx[k] is the k-th dyadic approximation numerator.

Implementations

impl TTEOracle

pub fn new(name: impl Into<String>, max_precision: usize) -> Self

Create a new TTE oracle for a named function.

pub fn load_cauchy(&mut self, seq: impl Fn(usize) -> i64)

Load approximations from a Cauchy sequence with explicit modulus. seq(k) gives the k-th numerator so that seq(k) * 2^{-k} approximates the value.

pub fn query(&self, k: usize) -> Option<(i64, usize)>

Query the oracle at precision k: returns (numerator, k) meaning num * 2^{-k}.

pub fn is_cauchy_consistent(&self, k: usize) -> bool

Check whether this representation is consistent (Cauchy condition within ε = 2^{-k}).

pub fn function_name(&self) -> &str

Returns the name of the represented real function.

Trait Implementations

impl Clone for TTEOracle

fn clone(&self) -> TTEOracle

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TTEOracle

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.