next up previous contents index
Next: NCMonomial[expr] Up: Manipulating an expression Previous: NCBackward[expr]   Contents   Index

NCForward[expr]

Aliases: NCF
Description: It applies the rules

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

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

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



NCAlgebra Project 2002-09-09