Commits

Branch selector

 master

User selector

levnach

Datepicker

All time

Commit History

Commits on Nov 24, 2025

• try reordering before analyzing bounds

  Show description for 4b5fb26
  levnach

  committed
  4b5fb26

  Copy full SHA for 4b5fb26

• parameter correct order experiment

  Show description for 9529275
  levnach

  committed
  9529275

  Copy full SHA for 9529275

• remove the debug print

  levnach

  committed
  97f7e6f

  Copy full SHA for 97f7e6f

• remove the exit statement

  levnach

  committed
  98a3d2a

  Copy full SHA for 98a3d2a

• disable add_zero_disc(disc) by default

  Show description for cc3328b
  levnach

  committed
  cc3328b

  Copy full SHA for cc3328b

• optionally call add_zero_assumption on a vanishing discriminant

  Show description for 784ea42
  levnach

  committed
  784ea42

  Copy full SHA for 784ea42

• restart projection when found a non-trivial nullified polynomial, and remove is_square_free

  Show description for ac58f53
  levnach

  committed
  ac58f53

  Copy full SHA for ac58f53

• refactoring

  Show description for 82f0cfb
  levnach

  committed
  82f0cfb

  Copy full SHA for 82f0cfb

• remove unused code

  levnach

  committed
  26a472f

  Copy full SHA for 26a472f

• remve add_zero_assumption from pcs()

  Show description for 0886513
  levnach

  committed
  0886513

  Copy full SHA for 0886513

• improve logging

  Show description for fe6b777
  levnach

  committed
  fe6b777

  Copy full SHA for fe6b777

• handle the case with no roots in add_zero_assumption

  Show description for ebecfb8
  levnach

  committed
  ebecfb8

  Copy full SHA for ebecfb8

• improve log_lemma

  Show description for 2768962
  levnach

  committed
  2768962

  Copy full SHA for 2768962

• log for smtrat

  Show description for 0ee272a
  levnach

  committed
  0ee272a

  Copy full SHA for 0ee272a

• use indexed root expressions id add_zero_assumption

  Show description for 6856a61
  levnach

  committed
  6856a61

  Copy full SHA for 6856a61

• add coefficients from the elim_vanishing to m_todo

  Show description for eeb83d4
  levnach

  committed
  eeb83d4

  Copy full SHA for eeb83d4

• remove unused method

  Show description for 573ab2b
  levnach

  committed
  573ab2b

  Copy full SHA for 573ab2b

• t

  Show description for c6eb9d7
  levnach

  committed
  c6eb9d7

  Copy full SHA for c6eb9d7

• t

  Show description for 8e45576
  levnach

  committed
  8e45576

  Copy full SHA for 8e45576

• t

  Show description for 847f471
  levnach

  committed
  847f471

  Copy full SHA for 847f471

• t

  Show description for 36c711d
  levnach

  committed
  36c711d

  Copy full SHA for 36c711d

• t

  Show description for c8959dc
  levnach

  committed
  c8959dc

  Copy full SHA for c8959dc

• t

  Show description for 7eb1877
  levnach

  committed
  7eb1877

  Copy full SHA for 7eb1877

• t

  Show description for bce4775
  levnach

  committed
  bce4775

  Copy full SHA for bce4775

• t

  Show description for 27f4150
  levnach

  committed
  27f4150

  Copy full SHA for 27f4150

• t

  Show description for 5fec29f
  levnach

  committed
  5fec29f

  Copy full SHA for 5fec29f

• t

  Show description for 54c23bb
  levnach

  committed
  54c23bb

  Copy full SHA for 54c23bb

• t

  Show description for d0fea0b
  levnach

  committed
  d0fea0b

  Copy full SHA for d0fea0b

• t

  Show description for 3c07fa4
  levnach

  committed
  3c07fa4

  Copy full SHA for 3c07fa4

• better state

  Show description for a512005
  levnach

  committed
  a512005

  Copy full SHA for a512005

• unsound lemma

  Show description for f49f537
  levnach

  committed
  f49f537

  Copy full SHA for f49f537

Commits on Nov 3, 2025

• add tests showing shortcomings of factorization

  Show description for c845c98
  levnach

  committed
  c845c98

  Copy full SHA for c845c98

Commits on Nov 1, 2025

• change logic NRA->ALL in log_lemma

  Show description for 38a346f
  levnach

  committed
  38a346f

  Copy full SHA for 38a346f

Commits on Oct 25, 2025

• enable always add all coeffs in nlsat

  Show description for efd5d04
  levnach

  committed
  efd5d04

  Copy full SHA for efd5d04

Commits on Oct 23, 2025

• throttle grobner method more actively

  Show description for 887ecc0
  levnach

  committed
  887ecc0

  Copy full SHA for 887ecc0

Pagination

Previous

Next