setMMADir[{"demos", "NOTEBOOKS", "Getting-started"}] load["prodVect.alpha"]; show[] ?ashow ashow[] asave["myFile.alpha"] analyze[] writeC["prodVect.c", "-p 10"] !! prodVect.c pipeall["C", "b.(i,j->j)", "B1.(i,j->i+1,j)"]; ashow[] changeOfBasis["C.(i,j->i+j,j)"]; ashow[] simplifySystem[]; ashow[] schedule[] schedule[scheduleType -> sameLinearPart, addConstraints -> {"Ta[i,j,N]=i+j"}] load["binaryAdder.alpha"]; ashow[] getSystem["FullAdder"]; ashow[] getSystem["Plus"]; assignParameterValue["W", 8]; ashow[] inlineAll[]; ashow[]