version 1.71, 2007/09/17 12:47:45 |
version 1.72, 2007/09/19 05:42:59 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.70 2007/09/15 10:17:08 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/dp.c,v 1.71 2007/09/17 12:47:45 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "base.h" |
#include "base.h" |
Line 102 void Pdp_order(); |
|
Line 102 void Pdp_order(); |
|
void Pdp_inv_or_split(); |
void Pdp_inv_or_split(); |
void Pdp_compute_last_w(); |
void Pdp_compute_last_w(); |
void Pdp_compute_essential_df(); |
void Pdp_compute_essential_df(); |
|
void Pdp_get_denomlist(); |
|
|
LIST dp_initial_term(); |
LIST dp_initial_term(); |
LIST dp_order(); |
LIST dp_order(); |
Line 193 struct ftab dp_tab[] = { |
|
Line 194 struct ftab dp_tab[] = { |
|
{"dp_set_weight",Pdp_set_weight,-1}, |
{"dp_set_weight",Pdp_set_weight,-1}, |
{"dp_set_top_weight",Pdp_set_top_weight,-1}, |
{"dp_set_top_weight",Pdp_set_top_weight,-1}, |
{"dp_weyl_set_weight",Pdp_weyl_set_weight,-1}, |
{"dp_weyl_set_weight",Pdp_weyl_set_weight,-1}, |
|
|
|
{"dp_get_denomlist",Pdp_get_denomlist,0}, |
{0,0,0}, |
{0,0,0}, |
}; |
}; |
|
|
|
|
} |
} |
*rp = current_top_weight_vector_obj; |
*rp = current_top_weight_vector_obj; |
} |
} |
|
} |
|
|
|
LIST get_denomlist(); |
|
|
|
void Pdp_get_denomlist(LIST *rp) |
|
{ |
|
*rp = get_denomlist(); |
} |
} |
|
|
static VECT current_weyl_weight_vector_obj; |
static VECT current_weyl_weight_vector_obj; |