ASPL Manual v 1.00
© 2024 by SetSphere.COM

13. 7

   push pushes a set variable on the answer stack

 

push [a1 .. aN]       where [a1 .. aN] are set variables

push

When specified by itself then the operation will push the top of stack once again to the top of stack

push  setoid  01*          ins:H_H_H  ous:H_H_H

●  Operator push pushes a set variable on the answer stack

Use the push operator to push set variables on the top of the stack.

 

Example 13.7.1

push EXAMPLE

The following example shows how to push two variables on the top of the answer stack. To view the stack you can simply type ans.

 

Operation 13.7.1

push OPERATION

# aspl WS1
    (stat ASPL loading sample workspace WS1)

①  aspl> push a1 a2
    (push a1 and a2 on top of the stack)

②  aspl> ans
    (display the answer stack)

③  aspl> f&
    (display the intersection between the two datasets on the top of stack)

④  aspl> f& a1 a2
    (display the intersection between a1 and a2, should be the same as operation above)

⑤  aspl> ans
    (display the answer stack)

⑥  aspl> equal
    (perform equality of the two datasets on the top of stack, should be equal)