pishleback/Algebraeon

More operations between Natural, Integer, Rational and builtin types

Open

#54 opened on May 15, 2025

View on GitHub
 (5 comments) (0 reactions) (0 assignees)Rust (10 forks)auto 404
enhancementgood first issue

Repository metrics

Stars
 (83 stars)
PR merge metrics
 (PR metrics pending)

Description

As discussed in #52 it is currently a bit messy to compute the remainder of a Natural by a u32 and obtain a u32, though it is possible by converting Natural to usize first. This issue is for adding more conversions and operations involving a mixture of algebraeons Natural, Integer and Rational types with rusts builtin u8, u16, u32, u64, u128, usize, i8, i16, i32, i64, i128 and isize where appropriate.

  • TryInto<u8 ... u128, usize, i8 ... i128, isize> for Natural (#55)
  • TryInto<u8 ... u128, usize, i8 ... i128, isize> for Integer (#55)
  • TryInto<u8 ... u128, usize, i8 ... i128, isize> for Rational (#81)
  • Natural % T -> T for T = i8 ... i128, isize,u8...u128,usize
  • Integer % T -> T for T = i8 ... i128, isize,u8...u128,usize

Any others to include on the list?

Contributor guide

Research direction
Explore how to implement the `Rem` trait for `Natural` and `Integer` with primitive numeric types as the right hand side, ensuring the output type matches the primitive type. Refer to existing implementations like `TryInto` conversions.
Tech stack
rust
Domain
backend
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
Rusttraits
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60