Lines Matching refs:cpt
15 static void adwg(std::ostream& os, const char *comment, unsigned long *cpt, in adwg() argument
21 *cpt += (*comment != '\0'); in adwg()
61 const char *comment, unsigned long *cpt, in add_relations_with_galois() argument
74 adwg(os, comment, cpt, rel, -b0, -a0); in add_relations_with_galois()
79 adwg(os, comment, cpt, rel, -a0, b0); in add_relations_with_galois()
84 adwg(os, comment, cpt, rel, a2, b2); in add_relations_with_galois()
86 adwg(os, comment, cpt, rel, a3, b3); in add_relations_with_galois()
92 adwg(os, comment, cpt, rel, a2, b2); in add_relations_with_galois()
94 adwg(os, comment, cpt, rel, a3, b3); in add_relations_with_galois()
106 *cpt += (*comment != '\0'); in add_relations_with_galois()
132 *cpt += (*comment != '\0'); in add_relations_with_galois()
139 *cpt += (*comment != '\0'); in add_relations_with_galois()
143 adwg(os, comment, cpt, rel, a0 + b0, -a0); // (a2, b2) in add_relations_with_galois()
144 adwg(os, comment, cpt, rel, b0, -(a0+b0)); // (a4, b4) in add_relations_with_galois()
163 adwg(os, comment, cpt, rel, a1, b1); // (a1/3^d, b1/3^d) in add_relations_with_galois()
170 adwg(os, comment, cpt, rel, a3, b3); // (a3/3^d, b3/3^d) in add_relations_with_galois()
171 adwg(os, comment, cpt, rel, a5, b5); // (a5/3^d, b5/3^d) in add_relations_with_galois()