public class ObjTensor

java.lang.Object
   |
   +----Printable
           |
           +----Obj
                   |
                   +----ObjTensor

public class ObjTensor
  extends Obj

The tensor of two objects X Y.

Author:

Alan Jeffrey

Version: v1.0 1998/06/11

ObjTensor(Obj, Obj)

Create a new tensor.

print(Printer)

public ObjTensor(Obj X,
                 Obj Y);

Create a new tensor.

Parameters:

X - the lh object.

Y - the rh object.

public void print(Printer p);

ObjTensor.html