next up previous contents index
Next: NCForward[expr] Up: Manipulating an expression Previous: GrabVariables[ aListOfPolynomialsOrRules ]   Contents   Index

NCBackward[expr]

Aliases: NCB
Description: It applies the rules

$\displaystyle inv[Id-B ** A] ** B \rightarrow B ** inv[Id-A ** B] $

$\displaystyle inv[Id-B ** A] ** inv[A] \rightarrow inv[A] ** inv[Id-A ** B]$

Arguments: $ expr$ is an algebraic expression.
Comments / Limitations: None


NCAlgebra Project 2002-09-09