tawasuyu

tawasuyu/hifas

Motor en Rust para decidir, con demostración y no a ojo, cuándo un conjunto de réplicas local-first puede operar sin coordinación y cuándo no — y, cuando la respuesta es "sí, dentro de límites", proveer el mecanismo que lo garantiza.

Rust 24Markdown 14TOML 1358 Sutichaykuna

⎇ main src/gf2.rs Pi imata llamkarqan Qillqa

Sapa sutichay qhipa t'ikrayninwan, mana sapa siq'iwanchu: pi, hayk'aq, paqarirqanchu, ukhunpi t'ikrakurqanchu, silq'uyninpi t'ikrakurqanchu utaq huk sutiyuq karqanchu.

SutichaykunaQhipa t'ikrayPi
struct BitMatrix paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn new paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn from_matrix paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn get paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn set paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn swap_rows paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn xor_row_into paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn rref paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn null_space paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
struct Gf2Backend pub paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn rank paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn cokernel_basis paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
mod tests paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn mat paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn rank_exacto_sobre_gf2 paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn menos_uno_es_uno_mod_dos paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin
fn cokernel_del_triangulo paqarirqan T3: backend GF(2) exacto + migración a aritmética sin epsilonSergio · ⟲ Sutichaypa ñawpa willaynin

qillqap qhipa 1 t'ikrayninkuna qhawasqa karqan