cp_library/math/fps/fps_normalize_fn.py

• View this file on GitHub
• Last update: 2025-03-30 20:17:47+09:00

Required by

• cp_library/math/fps/fps_pow_fn.py
• cp_library/math/table/stirling1_k_fn.py
• cp_library/math/table/stirling2_k_fn.py

Verified with

• test/library-checker/enumerative-combinatorics/stirling_number_of_the_first_kind_fixed_k.test.py
• test/library-checker/enumerative-combinatorics/stirling_number_of_the_second_kind_fixed_k.test.py
• test/library-checker/polynomial/pow_of_formal_power_series.test.py

Code

import cp_library.math.fps.__header__

def fps_normalize(P: list, deg) -> list:
    if (N:=len(P)) < deg: P[N:] = [0]*(deg-N)
    del P[deg:]
    return P

'''
╺━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╸
             https://kobejean.github.io/cp-library               
'''

def fps_normalize(P: list, deg) -> list:
    if (N:=len(P)) < deg: P[N:] = [0]*(deg-N)
    del P[deg:]
    return P

Back to top page