Searched refs:add_CR (Results 1 – 1 of 1) sorted by relevance
750 return new add_CR(this, x); in add()792 return new add_CR(this, x.negate()); in subtract()1027 class add_CR extends CR { class1030 add_CR(CR x, CR y) { in add_CR() method in add_CR