symbols can be made noncommutative (see symbol constructors); some feedback
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 26 Aug 2003 21:01:27 +0000 (21:01 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 26 Aug 2003 21:01:27 +0000 (21:01 +0000)
on the usefulness of this would be appreciated


No differences found