Repository navigation

Compiling over the reals can refuse what is not real - #2297

Merged

Rafael-SOWNet merged 2 commits into

a-real-compilation-can-refuse-what-is-not-real

Oct 31, 2026

Merged

Compiling over the reals can refuse what is not real#2297
Rafael-SOWNet merged 2 commits into
masterfrom
a-real-compilation-can-refuse-what-is-not-real

Commits on Oct 31, 2026
- Compiling over the reals can refuse what is not real
  
  Rafael-SOWNet
  and
  claude
  committed
  1fdf490
- Write the Compile remark into the templates the overloads come from
  
  Rafael-SOWNet
  and
  claude
  committed
  7fdea1a