Jiahao Chen Add outact identity: (x*y')*z == x*(y'*z)  over 8 years ago

Commit id: 04ae7eaad05046e3d1119d5552550e6e28e26890

deletions | additions      

       

include("rankstability.jl")  info("Mathematica semantics")  #Mathematica's Dot and Transpose functions         

x = Vec()  y = Vec()  z = Vec()  A = Mat()  @tryout inner(x, y)         

function outact(x, y, z)  w = (x*y')*z  if w == x*(y'*z)  return z w  else  error("Not associative")  end