Search results

Bounded Lattice Laws are contradicting

Status: Open.

#200 In tonyday567/numhask;

· ijouw opened on May 21, 2026

Create Operator for Positive Exponentiation

Status: Open.

#199 In tonyday567/numhask;

· ijouw opened on May 19, 2026

Ratio Natural cannot be used

Status: Open.

#198 In tonyday567/numhask;

· ijouw opened on May 11, 2026

linear-smc comparison

Status: Open.

#197 In tonyday567/numhask;

· tonyday567 opened on Mar 19, 2026

Is QuotientField an Action? Are all our deconstructions reconstructed via actions?

Status: Open.

#196 In tonyday567/numhask;

· tonyday567 opened on Mar 15, 2026

Optimise even and odd?

Status: Open.

#179 In tonyday567/numhask;

· benhutchison opened on Oct 10, 2024

Are the context constraints on Monus & Addus valid?

Status: Open.

#176 In tonyday567/numhask;

· benhutchison opened on Feb 17, 2024

Would a Monus class allow defining a Quotient Semifield over non-negative numbers?

Status: Open.

#173 In tonyday567/numhask;

· benhutchison opened on Nov 7, 2023

Why the functional dependency in *Action classes?

Status: Open.

#170 In tonyday567/numhask;

· wolverian opened on May 9, 2023