exp-generating-series.at

Lines:
177
Definitions:
9
Dependencies:
basic.atcombinatorics.atlazy_lists.at
Source:
GitHub

Definitions

NameSignatureDescription
exp_multiply(inf_list f, inf_list g) = inf_list:
exp_mult(inf_list f, int k, inf_list g, int l) = inf_list:
exp_divide(inf_list f, inf_list g) = inf_list:
exp_diff(inf_list f) = inf_list: let (,result)=f() in result
exp_substitute(inf_list g) = (inf_list->inf_list): { f->f[X:=g] }f->f[X:=g]
exp_comp_inverse(inf_list g) = inf_list:
count_permutations_with_cycles([int] L) = inf_list:
exp_of_exponential_series(inf_list S) = inf_list:
count_permutations_with_cycles(inf_list allowed_cycles) = inf_list: