Gecko [ tsuru-no-tsurugi.tokyo ]

Name	Size	Permission	Date
__pycache__	[ DIR ]	drwxr-xr-x	2025-12-31 20:40
__init__.py	5.67 KB	-rw-r--r--	2025-09-23 04:44
__main__.py	8.6 KB	-rw-r--r--	2025-09-23 04:44
_cell_widths.py	9.86 KB	-rw-r--r--	2025-09-23 04:44
_emoji_codes.py	136.95 KB	-rw-r--r--	2025-09-23 04:44
_emoji_replace.py	1.04 KB	-rw-r--r--	2025-09-23 04:44
_extension.py	265 B	-rw-r--r--	2025-09-23 04:44
_inspect.py	7.27 KB	-rw-r--r--	2025-09-23 04:44
_log_render.py	3.15 KB	-rw-r--r--	2025-09-23 04:44
_loop.py	1.21 KB	-rw-r--r--	2025-09-23 04:44
_lru_cache.py	1.22 KB	-rw-r--r--	2025-09-23 04:44
_palettes.py	6.9 KB	-rw-r--r--	2025-09-23 04:44
_pick.py	423 B	-rw-r--r--	2025-09-23 04:44
_ratio.py	5.34 KB	-rw-r--r--	2025-09-23 04:44
_spinners.py	25.9 KB	-rw-r--r--	2025-09-23 04:44
_stack.py	351 B	-rw-r--r--	2025-09-23 04:44
_timer.py	417 B	-rw-r--r--	2025-09-23 04:44
_windows.py	2.02 KB	-rw-r--r--	2025-09-23 04:44
_wrap.py	1.76 KB	-rw-r--r--	2025-09-23 04:44
abc.py	890 B	-rw-r--r--	2025-09-23 04:44
align.py	10.18 KB	-rw-r--r--	2025-09-23 04:44
ansi.py	6.52 KB	-rw-r--r--	2025-09-23 04:44
bar.py	3.19 KB	-rw-r--r--	2025-09-23 04:44
box.py	8.86 KB	-rw-r--r--	2025-09-23 04:44
cells.py	4.18 KB	-rw-r--r--	2025-09-23 04:44
color.py	16.88 KB	-rw-r--r--	2025-09-23 04:44
color_triplet.py	1.03 KB	-rw-r--r--	2025-09-23 04:44
columns.py	6.96 KB	-rw-r--r--	2025-09-23 04:44
console.py	79.33 KB	-rw-r--r--	2025-09-23 04:44
constrain.py	1.26 KB	-rw-r--r--	2025-09-23 04:44
containers.py	5.37 KB	-rw-r--r--	2025-09-23 04:44
control.py	5.17 KB	-rw-r--r--	2025-09-23 04:44
default_styles.py	7.44 KB	-rw-r--r--	2025-09-23 04:44
diagnose.py	183 B	-rw-r--r--	2025-09-23 04:44
emoji.py	2.44 KB	-rw-r--r--	2025-09-23 04:44
errors.py	642 B	-rw-r--r--	2025-09-23 04:44
file_proxy.py	1.58 KB	-rw-r--r--	2025-09-23 04:44
filesize.py	2.45 KB	-rw-r--r--	2025-09-23 04:44
highlighter.py	4.78 KB	-rw-r--r--	2025-09-23 04:44
json.py	4.93 KB	-rw-r--r--	2025-09-23 04:44
jupyter.py	2.95 KB	-rw-r--r--	2025-09-23 04:44
layout.py	13.72 KB	-rw-r--r--	2025-09-23 04:44
live.py	13.39 KB	-rw-r--r--	2025-09-23 04:44
live_render.py	3.58 KB	-rw-r--r--	2025-09-23 04:44
logging.py	10.61 KB	-rw-r--r--	2025-09-23 04:44
markup.py	7.87 KB	-rw-r--r--	2025-09-23 04:44
measure.py	5.13 KB	-rw-r--r--	2025-09-23 04:44
padding.py	4.85 KB	-rw-r--r--	2025-09-23 04:44
pager.py	838 B	-rw-r--r--	2025-09-23 04:44
palette.py	3.32 KB	-rw-r--r--	2025-09-23 04:44
panel.py	8.43 KB	-rw-r--r--	2025-09-23 04:44
pretty.py	31.81 KB	-rw-r--r--	2025-09-23 04:44
progress.py	35.08 KB	-rw-r--r--	2025-09-23 04:44
progress_bar.py	7.58 KB	-rw-r--r--	2025-09-23 04:44
prompt.py	11.04 KB	-rw-r--r--	2025-09-23 04:44
protocol.py	1.37 KB	-rw-r--r--	2025-09-23 04:44
region.py	166 B	-rw-r--r--	2025-09-23 04:44
repr.py	4.21 KB	-rw-r--r--	2025-09-23 04:44
rule.py	4.1 KB	-rw-r--r--	2025-09-23 04:44
scope.py	2.78 KB	-rw-r--r--	2025-09-23 04:44
screen.py	1.55 KB	-rw-r--r--	2025-09-23 04:44
segment.py	23.36 KB	-rw-r--r--	2025-09-23 04:44
spinner.py	4.21 KB	-rw-r--r--	2025-09-23 04:44
status.py	4.32 KB	-rw-r--r--	2025-09-23 04:44
style.py	25.85 KB	-rw-r--r--	2025-09-23 04:44
styled.py	1.23 KB	-rw-r--r--	2025-09-23 04:44
syntax.py	26.36 KB	-rw-r--r--	2025-09-23 04:44
table.py	35.9 KB	-rw-r--r--	2025-09-23 04:44
tabulate.py	1.66 KB	-rw-r--r--	2025-09-23 04:44
terminal_theme.py	1.42 KB	-rw-r--r--	2025-09-23 04:44
text.py	43.38 KB	-rw-r--r--	2025-09-23 04:44
theme.py	3.54 KB	-rw-r--r--	2025-09-23 04:44
themes.py	102 B	-rw-r--r--	2025-09-23 04:44
traceback.py	25.33 KB	-rw-r--r--	2025-09-23 04:44
tree.py	8.91 KB	-rw-r--r--	2025-09-23 04:44

Rename

import sys
from fractions import Fraction
from math import ceil
from typing import cast, List, Optional, Sequence

if sys.version_info >= (3, 8):
    from typing import Protocol
else:
    from pip._vendor.typing_extensions import Protocol  # pragma: no cover

class Edge(Protocol):
    """Any object that defines an edge (such as Layout)."""

size: Optional[int] = None
    ratio: int = 1
    minimum_size: int = 1

def ratio_resolve(total: int, edges: Sequence[Edge]) -> List[int]:
    """Divide total space to satisfy size, ratio, and minimum_size, constraints.

The returned list of integers should add up to total in most cases, unless it is
    impossible to satisfy all the constraints. For instance, if there are two edges
    with a minimum size of 20 each and `total` is 30 then the returned list will be
    greater than total. In practice, this would mean that a Layout object would
    clip the rows that would overflow the screen height.

Args:
        total (int): Total number of characters.
        edges (List[Edge]): Edges within total space.

Returns:
        List[int]: Number of characters for each edge.
    """
    # Size of edge or None for yet to be determined
    sizes = [(edge.size or None) for edge in edges]

_Fraction = Fraction

# While any edges haven't been calculated
    while None in sizes:
        # Get flexible edges and index to map these back on to sizes list
        flexible_edges = [
            (index, edge)
            for index, (size, edge) in enumerate(zip(sizes, edges))
            if size is None
        ]
        # Remaining space in total
        remaining = total - sum(size or 0 for size in sizes)
        if remaining <= 0:
            # No room for flexible edges
            return [
                ((edge.minimum_size or 1) if size is None else size)
                for size, edge in zip(sizes, edges)
            ]
        # Calculate number of characters in a ratio portion
        portion = _Fraction(
            remaining, sum((edge.ratio or 1) for _, edge in flexible_edges)
        )

# If any edges will be less than their minimum, replace size with the minimum
        for index, edge in flexible_edges:
            if portion * edge.ratio <= edge.minimum_size:
                sizes[index] = edge.minimum_size
                # New fixed size will invalidate calculations, so we need to repeat the process
                break
        else:
            # Distribute flexible space and compensate for rounding error
            # Since edge sizes can only be integers we need to add the remainder
            # to the following line
            remainder = _Fraction(0)
            for index, edge in flexible_edges:
                size, remainder = divmod(portion * edge.ratio + remainder, 1)
                sizes[index] = size
            break
    # Sizes now contains integers only
    return cast(List[int], sizes)

def ratio_reduce(
    total: int, ratios: List[int], maximums: List[int], values: List[int]
) -> List[int]:
    """Divide an integer total in to parts based on ratios.

Args:
        total (int): The total to divide.
        ratios (List[int]): A list of integer ratios.
        maximums (List[int]): List of maximums values for each slot.
        values (List[int]): List of values

Returns:
        List[int]: A list of integers guaranteed to sum to total.
    """
    ratios = [ratio if _max else 0 for ratio, _max in zip(ratios, maximums)]
    total_ratio = sum(ratios)
    if not total_ratio:
        return values[:]
    total_remaining = total
    result: List[int] = []
    append = result.append
    for ratio, maximum, value in zip(ratios, maximums, values):
        if ratio and total_ratio > 0:
            distributed = min(maximum, round(ratio * total_remaining / total_ratio))
            append(value - distributed)
            total_remaining -= distributed
            total_ratio -= ratio
        else:
            append(value)
    return result

def ratio_distribute(
    total: int, ratios: List[int], minimums: Optional[List[int]] = None
) -> List[int]:
    """Distribute an integer total in to parts based on ratios.

Args:
        total (int): The total to divide.
        ratios (List[int]): A list of integer ratios.
        minimums (List[int]): List of minimum values for each slot.

Returns:
        List[int]: A list of integers guaranteed to sum to total.
    """
    if minimums:
        ratios = [ratio if _min else 0 for ratio, _min in zip(ratios, minimums)]
    total_ratio = sum(ratios)
    assert total_ratio > 0, "Sum of ratios must be > 0"

total_remaining = total
    distributed_total: List[int] = []
    append = distributed_total.append
    if minimums is None:
        _minimums = [0] * len(ratios)
    else:
        _minimums = minimums
    for ratio, minimum in zip(ratios, _minimums):
        if total_ratio > 0:
            distributed = max(minimum, ceil(ratio * total_remaining / total_ratio))
        else:
            distributed = total_remaining
        append(distributed)
        total_ratio -= ratio
        total_remaining -= distributed
    return distributed_total

if __name__ == "__main__":
    from dataclasses import dataclass

@dataclass
    class E:

size: Optional[int] = None
        ratio: int = 1
        minimum_size: int = 1

resolved = ratio_resolve(110, [E(None, 1, 1), E(None, 1, 1), E(None, 1, 1)])
    print(sum(resolved))