Wed May 07 10:50:40+0200 2025
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License
Tests summary
((ran 1) (failed 0))
ArrayPlot[CellularAutomaton[30, {{1}, 0}, 50]]
test/simple
: passThe simple expression evaluates to . Moreover, the integer admits the factorization . Finally, we show the distribution of the sizes of factorizations of the first 100 numbers:
(define (test/simple _)
(define expr '(Plus x (Plus x x) x))
(⊦= '(Times 4 x) (W expr))
(⊦= '(List (List 5 3) (List 47 1) (List 101 1) (List 1429 1))
(W '(FactorInteger 847932875)))
(⊦= 3.91287092917528 (W '(ToExpression "3+4/Sqrt[19.2]"))))