update commutative analysis
update info