Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54471 views

-- Input generated from BalancedBinaryTreeXmpPage
)clear all

lm := [3,5,7,11]
modTree(12,lm)
t := balancedBinaryTree(#lm, 0)
setleaves!(t,lm)
mapUp!(t,_*)
t
mapDown!(t,12,_rem)
leaves %
squares := [x**2 rem m for x in % for m in lm]
chineseRemainder(%,lm)