Symbolic relex#42

Merged

vanilla-extracts merged 68 commits intomistressfrom

May 19, 2024

Commits on Apr 28, 2024

WIP started symbolic simplification
Charlotte Thomas
committed
move in exact math
Charlotte Thomas
committed
change to be more rust-y
Charlotte Thomas
committed
change rust test to be on every branch
Charlotte Thomas
committed

Commits on Apr 29, 2024

WIP
Charlotte Thomas
committed
reimplementing vars
Charlotte Thomas
committed
WIP
Charlotte Thomas
committed

Commits on Apr 30, 2024

Plus
Charlotte Thomas
committed
Var 1/2
Charlotte Thomas
committed
fix test
Charlotte Thomas
committed
Var 2/2
Charlotte Thomas
committed
remove Mul
Charlotte Thomas
committed
minus
Charlotte Thomas
committed
replace all minus by plus
Charlotte Thomas
committed
finish add to minus
Charlotte Thomas
committed

Commits on May 2, 2024

add mul
Charlotte Thomas
committed
implements multiplications 1/2
Charlotte Thomas
committed

Commits on May 3, 2024

split functions in different files
Charlotte Thomas
committed
fix tests
Charlotte Thomas
committed

Commits on May 4, 2024

bump to 2.14.0
Charlotte Thomas
committed
fix main.rs
Charlotte Thomas
committed

Commits on May 5, 2024

implements plus,var operations for mult
Charlotte Thomas
committed
implements operations for mult
Charlotte Thomas
committed
implements mul for add
Charlotte Thomas
committed
implements mult ops for minus
Charlotte Thomas
committed
delete unnecessary imports
Charlotte Thomas
committed

Commits on May 6, 2024

correct errors in add,minus and mult
Charlotte Thomas
committed
fix errors in mult
Charlotte Thomas
committed
remove unnecessary import
Charlotte Thomas
committed

Commits on May 7, 2024

add div
Charlotte Thomas
committed
add invert operation to rationals
Charlotte Thomas
committed
WIP add div operations
Charlotte Thomas
committed

Commits on May 12, 2024

Commits on May 13, 2024

WIP add mul/plus/var to div
Charlotte Thomas
committed

Commits on May 14, 2024

WIP add mul/plus/var to div 2/n
Charlotte Thomas
committed
WIP add mul/plus/var to div 3/4
Charlotte Thomas
committed
implements add mul/plus/var to div 4/4
Charlotte Thomas
committed
Merge branch 'mistress' into symbolic_relex
Charlotte Thomas
committed

Commits on May 15, 2024

WIP add div operations to div
Charlotte Thomas
committed
remove comments
Charlotte Thomas
committed
remove unnecessary clones
Charlotte Thomas
committed
add div operations to div
Charlotte Thomas
committed
fix mathematical error on div
Charlotte Thomas
committed
simplify expressions
Charlotte Thomas
committed
simplify rationals
Charlotte Thomas
committed
remove unnecessary clone
Charlotte Thomas
committed

Commits on May 16, 2024

correct div to avoid stack overflow and correctness
Charlotte Thomas
committed
implements div for mult operations
Charlotte Thomas
committed
pretty print superscript to be printed as a fraction
Charlotte Thomas
committed
replace superscript 1 by nothing
Charlotte Thomas
committed

Commits on May 18, 2024

WIP add div operations to add
Charlotte Thomas
committed
bump to 3.0.0
Charlotte Thomas
committed
change changelog for 3.0.0
Charlotte Thomas
committed

Commits on May 19, 2024

implements div operations for minus
Charlotte Thomas
committed
remove stack overflow on exponentiation
Charlotte Thomas
committed
simplify expo
Charlotte Thomas
committed
simplify functions
Charlotte Thomas
committed
remove stack overflow on greater
Charlotte Thomas
committed
remove stack overflow on lesser
Charlotte Thomas
committed
remove stack overflow on greater or equal
Charlotte Thomas
committed
remove stack overflow on lesser or equal
Charlotte Thomas
committed
fix test
Charlotte Thomas
committed
remove stack overflow for equal
Charlotte Thomas
committed
remove unnessary clones
Charlotte Thomas
committed
remove stack overflow on other functions
Charlotte Thomas
committed
change makefile
Charlotte Thomas
committed