Stack is missing some exports: axiom s := stack [1, Type: Stack(PositiveInteger?)
axiom map(i +-> i^2,
Type: Stack(PositiveInteger?)
axiom map!(i +-> i^2,
Type: Stack(PositiveInteger?)
axiom parts s
Type: List(PositiveInteger?)
Fixed in Open-Axiom and FriCAS. ... --gdr, Sun, 18 May 2008 13:29:41 -0700 reply Status: fix proposed => fixed somewhere
no patch available |