Maxima Function
propvars (prop)
Returns a list of those atoms on the props list which have the property indicated by prop. Thus propvars (atvalue) returns a list of atoms which have atvalues.
props
propvars (atvalue)