Home
last modified time | relevance | path

Searched refs:C_rat_vars (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-libpoly/libpoly-0.1.11/src/polynomial/
H A Dcoefficient.c857 lp_variable_list_t C_rat_vars; in STAT_DECLARE() local
858 lp_variable_list_construct(&C_rat_vars); in STAT_DECLARE()
859 coefficient_get_variables(&C_rat, &C_rat_vars); in STAT_DECLARE()
862 lp_dyadic_interval_t* rational_interval_cache = algebraic_interval_remember(&C_rat_vars, m); in STAT_DECLARE()
916 for (i = 0; i < C_rat_vars.list_size; ++ i) { in STAT_DECLARE()
917 lp_variable_t x_i = C_rat_vars.list[i]; in STAT_DECLARE()
929 algebraic_interval_restore(&C_rat_vars, rational_interval_cache, m); in STAT_DECLARE()
936 lp_variable_list_destruct(&C_rat_vars); in STAT_DECLARE()
/dports/math/libpoly/libpoly-0.1.11/src/polynomial/
H A Dcoefficient.c857 lp_variable_list_t C_rat_vars; in STAT_DECLARE() local
858 lp_variable_list_construct(&C_rat_vars); in STAT_DECLARE()
859 coefficient_get_variables(&C_rat, &C_rat_vars); in STAT_DECLARE()
862 lp_dyadic_interval_t* rational_interval_cache = algebraic_interval_remember(&C_rat_vars, m); in STAT_DECLARE()
916 for (i = 0; i < C_rat_vars.list_size; ++ i) { in STAT_DECLARE()
917 lp_variable_t x_i = C_rat_vars.list[i]; in STAT_DECLARE()
929 algebraic_interval_restore(&C_rat_vars, rational_interval_cache, m); in STAT_DECLARE()
936 lp_variable_list_destruct(&C_rat_vars); in STAT_DECLARE()