Searched refs:system_divisor (Results 1 – 4 of 4) sorted by relevance
234 const Coefficient& system_divisor = i->divisor(); in map_space_dimensions() local257 new_gensys.insert(parameter(expr, system_divisor)); in map_space_dimensions()
509 const Coefficient& system_divisor in conversion() local515 dest.sys.rows[i].set_divisor(system_divisor); in conversion()
368 const Coefficient& system_divisor = ggs.sys.rows[0].expr.inhomogeneous_term(); in simplify() local373 ggs.sys.rows[i].set_divisor(system_divisor); in simplify()
60092 const Coefficient& system_divisor = i->divisor();60115 new_gensys.insert(parameter(expr, system_divisor));