Tribonacci#42

Open

raoulb wants to merge 7 commits intoflintlib:masterfrom

raoulb:tribonacci

Commits on Sep 17, 2022

Implement Tribonacci constant in fexpr
Raoul Bourquin
committed
Implement Tribonacci constant in qqbar
Raoul Bourquin
committed
Implement Tribonacci constant in ca
Raoul Bourquin
committed
Refactor Tribonacci constant implementation in ca
Raoul Bourquin
committed
Simple example program computing the Tribonacci constant
Raoul Bourquin
committed

Commits on Oct 28, 2022

Represent ca_tribonacci_constant in Q(a) where a^3-a^2-a-1 = 0
Raoul Bourquin
committed
Add citation for formula of Tribonacci constant
Raoul Bourquin
committed