Zum Inhalt
HALOWERK

Datenvertragswerk

greedy unit fraction expansion ledger

For an original nonnegative proper rational with numerator0..8 and denominator1..64, reconstruct the entire Fibonacci-Sylvester greedy unit-fraction sequence, every reduced post-subtraction remainder, normalized original and independently recomposed exact sum. At each positive remainder choose the least denominator k with1/k<=remainder. Zero has a known empty expansion; reducible input normalized. Compare entire claimed denominator sequence. Missing original/claim unknown with known work.

POST https://datenvertrag.halowerk.com/v1/greedy-unit-fraction-expansion-ledger

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
numeratorSiehe SchemaJa
denominatorSiehe SchemaJa
claimed_denominatorsSiehe SchemaJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "numerator",
    "denominator",
    "claimed_denominators"
  ],
  "properties": {
    "numerator": {
      "anyOf": [
        {
          "type": "integer",
          "minimum": 0,
          "maximum": 8
        },
        {
          "type": "null"
        }
      ]
    },
    "denominator": {
      "anyOf": [
        {
          "type": "integer",
          "minimum": 1,
          "maximum": 64
        },
        {
          "type": "null"
        }
      ]
    },
    "claimed_denominators": {
      "anyOf": [
        {
          "type": "array",
          "maxItems": 8,
          "items": {
            "type": "string",
            "pattern": "^[1-9][0-9]{0,511}$"
          }
        },
        {
          "type": "null"
        }
      ]
    }
  }
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "numerator": 4,
  "denominator": 5,
  "claimed_denominators": [
    "2",
    "4",
    "20"
  ]
}

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-07, 02:42 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →