return JoinedMultiVector.wrap(new AVector[] {left,right,a});
}
public AVector join(JoinedVector a) {
AVector ej=right.tryEfficientJoin(a.left);
if (ej==null) {
return JoinedMultiVector.wrap(new AVector[] {left,right,a.left,a.right});
} else {
return JoinedMultiVector.wrap(new AVector[] {left,ej,a.right});
}