11 lines
378 B
Text
11 lines
378 B
Text
with javascript_semantics
|
|
function lexicographic_order(sequence s)
|
|
return extract(s,custom_sort(apply(s,sprint),tagset(length(s))))
|
|
end function
|
|
|
|
?lexicographic_order({1,0})
|
|
?lexicographic_order(tagset(5))
|
|
?lexicographic_order(tagset(13))
|
|
?lexicographic_order(tagset(21,1,2))
|
|
?lexicographic_order(tagset(11,-21,4))
|
|
?lexicographic_order({1.25, -6, -10, 9, -11.3, 13, -3, 0})
|