buglist add bug 7263: missing function from POLY(ANTISYM)

3*x*dx
   Internal Error
   The function * with signature hashcode is missing from domain
      Polynomial(AntiSymm (Integer) (x y z))