next | previous | forward | backward | up | top | index | toc | home

hold -- hold something in a holder expression

Synopsis

Description

i1 : (hold 2)^5 * (hold 3)^3

      5 3
o1 = 2 3

o1 : Expression of class Product