Searched refs:add_CR (Results 1 – 1 of 1) sorted by relevance
790 return new add_CR(this, x); in add()832 return new add_CR(this, x.negate()); in subtract()1075 class add_CR extends CR { class1078 add_CR(CR x, CR y) { in add_CR() method in add_CR