This is the same as A ** B except that options are allowed. These optional arguments are only valid in the tensor(Ring,Ring) or tensor(Monoid,Monoid) cases.