Tropical algebra overloading: Difference between revisions

Content added Content deleted
(→‎{{header|Factor}}: second arg to exponentiation must be a positive integer)
m (→‎{{header|Factor}}: tweak stack effect)
Line 39: Line 39:
ALIAS: ⊗ +
ALIAS: ⊗ +


: ↑ ( x y -- z )
: ↑ ( x n -- z )
dup { [ dup truncate number= ] [ 0 > ] } 1&&
dup { [ dup truncate number= ] [ 0 > ] } 1&&
[ "Second arg must be positive integer." throw ] unless * ;
[ "Second arg must be positive integer." throw ] unless * ;