Computer Algebra Concepts and Techniques

Inspired by Chris Rackauckas’ call to action at the 2023 JuliaCon (and the use of Symbolics.jl logic in Catalyst, ModelingToolkit etc), I started reading this book August 15th.

Things I’m curious about:

What is a Groebner base, and why is it important?

Currently on: Chapter 3

Chapter 3

I started coding along a toy implementation in julia. First up, a handrolled arbitrary precision integer type:

struct MyBigInt
    sign::Symbol
    base::Int
    digits::Vector{Int64}
end

p1 = MyBigInt(:+, 1000, Vector([1, 2, 3, 4, 5, 6, 7, 8, 9, 0, 0]))

MyBigInt(:+, 1000, [1, 2, 3, 4, 5, 6, 7, 8, 9, 0, 0])

Figure 1: ?(caption)

Source: lamagna_CAS_ch_3.ipynb