Struct polenta::Polenta

pub struct Polenta<F: IsPrimeField> {
    pub symbols: HashMap<String, Polynomial<FieldElement<F>>>,
}

Polenta interpreter.

Fields

symbols: HashMap<String, Polynomial<FieldElement<F>>>

Symbol table as a map from identifiers to polynomials. Constant values are stored as constant polynomials.

Implementations

impl<F: IsPrimeField> Polenta<F>

pub fn new() -> Self

Examples found in repository

examples/errors.rs (line 10)

fn main() {
    let input = r#"
        let a = 5; 
        let b = a + 2^^2;
    "#;

    let err = Polenta::<F>::new().interpret(input).unwrap_err();
    println!("{}", err);
}

examples/simple.rs (line 12)

fn main() -> miette::Result<()> {
    let input = r#"
        let P(x) = 3 * x + 1;
        let Q(x) = x / 2;
        let z = Q@P@(5);
        assert z == 8;
    "#;

    Polenta::<F>::new().interpret(input)?;

    Ok(())
}

pub fn interpret( &mut self, input: &str, ) -> Result<Vec<Polynomial<FieldElement<F>>>, PolentaError>

Interprets the given input string and returns the resulting polynomials.

The input is expected to be composed of several statements, each interpreted in the given order and resulting in a polynomial.

May throw out a PolentaError if an error occurs during interpretation, either within the parsing step or the interpretation step.

Example

let input = r#"
let P(x) = 3 * x + 1;
let Q(x) = x / 2;
let z = Q@P@(5);
assert z == 8;
"#;

Polenta::<F>::new().interpret(input)?;

Examples found in repository

examples/errors.rs (line 10)

fn main() {
    let input = r#"
        let a = 5; 
        let b = a + 2^^2;
    "#;

    let err = Polenta::<F>::new().interpret(input).unwrap_err();
    println!("{}", err);
}

examples/simple.rs (line 12)

fn main() -> miette::Result<()> {
    let input = r#"
        let P(x) = 3 * x + 1;
        let Q(x) = x / 2;
        let z = Q@P@(5);
        assert z == 8;
    "#;

    Polenta::<F>::new().interpret(input)?;

    Ok(())
}

Trait Implementations

impl<F: IsPrimeField> Default for Polenta<F>

fn default() -> Self

Returns the “default value” for a type.

impl<F: IsPrimeField> PolentaUtilExt<F> for Polenta<F>

fn poly_as_felt(poly: &Polynomial<FieldElement<F>>) -> FieldElement<F>

Treats the given constants polynomial as a field element.

fn poly_is_zero(poly: &Polynomial<FieldElement<F>>) -> bool

Returns true if the given polynomial is a zero polynomial.

fn poly_from_bool(b: bool) -> Polynomial<FieldElement<F>>

Returns a polynomial representing the given boolean value, i.e. 1 for true and 0 for false.

fn felt_as_poly(felt: FieldElement<F>) -> Polynomial<FieldElement<F>>

Treats the given field element as a constant polynomial.

fn poly_print(poly: &Polynomial<FieldElement<F>>) -> String

Pretty-prints a given polynomial.

fn poly_pow( poly: &Polynomial<FieldElement<F>>, exponent: FieldElement<F>, ) -> Polynomial<FieldElement<F>>

Multiplies a polynomial with itself many times.