def __post_init__(self):
    if ((len(self.a) + 1) != len(self.b)):
        raise ValueError('inconsistent Butcher tableau')
def __post_init__(self):
    if ((len(self.a) + 1) != len(self.b)):
        raise ValueError('inconsistent Butcher tableau')