︠df08c18f-bea5-45f7-a918-f17af6e38ac0︠
@interact
def _(n=(5..100)):
    Poset(([1..n], lambda x, y: y%x == 0) ).show()
︡ab6c83b0-08ac-4c82-b0a6-bb71ab1760c2︡{"interact":{"style":"None","flicker":false,"layout":[[["n",12,null]],[["",12,null]]],"id":"14904679-6f13-4775-ad1a-48bae28ba2f9","controls":[{"control_type":"slider","default":0,"var":"n","width":null,"vals":["5","6","7","8","9","10","11","12","13","14","15","16","17","18","19","20","21","22","23","24","25","26","27","28","29","30","31","32","33","34","35","36","37","38","39","40","41","42","43","44","45","46","47","48","49","50","51","52","53","54","55","56","57","58","59","60","61","62","63","64","65","66","67","68","69","70","71","72","73","74","75","76","77","78","79","80","81","82","83","84","85","86","87","88","89","90","91","92","93","94","95","96","97","98","99","100"],"animate":true,"label":"n","display_value":true}]}}︡
︠a3c3ba45-45ac-4138-9f24-886ef1202b71︠


Collaborative Calculation and Data Science

colby

sagemath

Product

Resources

Company