programlibs/Eigencube/demos/solve.xtl

source · imports ec: libs/Eigencube/src/Eigencube.xtl

sc : Int

value · line 5
sc ← r̲oll! 20 r̲eshape 12
Used in: libs/Eigencube/demos/solve.xtl:6, x

x : Int

value · line 7
x ← sc ᵉᶜd̲o ᵉᶜsolved
Used in: libs/Eigencube/demos/solve.xtl:10, %10, libs/Eigencube/demos/solve.xtl:19, libs/Eigencube/demos/solve.xtl:20

%10 : Int

value · line 11
(sol, lens, e) ← 1 ᵉᶜs̲olve x

sol : Int

value · line 11
(sol, lens, e) ← 1 ᵉᶜs̲olve x
Used in: %10, libs/Eigencube/demos/solve.xtl:12, libs/Eigencube/demos/solve.xtl:13, libs/Eigencube/demos/solve.xtl:19, libs/Eigencube/demos/solve.xtl:20

lens : Int

value · line 11
(sol, lens, e) ← 1 ᵉᶜs̲olve x
Used in: %10, libs/Eigencube/demos/solve.xtl:18

e

value · line 11
(sol, lens, e) ← 1 ᵉᶜs̲olve x
Used in: %10, libs/Eigencube/demos/solve.xtl:18