38 typedef struct tla_vsp_st {
48 tla_vsp_init (tla_vsp_t vsp,
int size);
50 tla_vsp_clear (tla_vsp_t vsp);
51 # define tla_vsp_get_size(vsp) ((vsp)->size)
52 # define tla_vsp_get_dim(vsp) ((vsp)->dim)
54 tla_vsp_canonicalize (tla_vsp_t vsp);
56 tla_vsp_set (tla_vsp_t vsp,
const tla_vsp_t other);
58 tla_vsp_set_zero (tla_vsp_t vsp);
60 tla_vsp_are_equal (
const tla_vsp_t vsp,
const tla_vsp_t other);
62 tla_vsp_inv_gamma0 (tla_vsp_t res,
const tla_vsp_t v);
64 tla_vsp_get_base (tla_vec_t *base,
int *base_size,
const tla_vsp_t V);
66 tla_vsp_add_generator (tla_vsp_t res,
const tla_vsp_t vsp,
const tla_vec_t x);
68 tla_vsp_to_alphas (
const tla_vsp_t V, tla_matrix_t R);
70 tla_vsp_has (
const tla_vsp_t V,
const tla_vec_t x);
72 tla_vsp_is_included_in (
const tla_vsp_t V1,
const tla_vsp_t V2);
74 tla_vsp_get_integral (
const tla_vsp_t V,
const tla_vec_t x, tla_vec_t y);
77 tla_vsp_compute_y (tla_vec_t y,
const tla_vsp_t V,
const tla_vec_t x);
80 tla_vsp_add_generator_with_y (tla_vsp_t res,
const tla_vsp_t vsp,
81 const tla_vec_t y, tla_vec_t yy);