Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54464 views
-- Input generated from BasicOperatorXmpPage
)clear all

y := operator 'y
deq := D(y x, x, 2) + D(y x, x) + y x = 0
nary? y
unary? y
opOne := operator('opOne, 1)
nary? opOne
unary? opOne
arity opOne
name opOne
is?(opOne, 'z2)
is?(opOne, "opOne")
properties y
setProperty(y, "use", "unknown function" :: None )
properties y
property(y, "use") :: None pretend String
deleteProperty!(y, "use")
properties y