ahumenberger

If I'm not mistaken then there is currently no possibility to get the roots and their multiplicities of a polynomial. There is the function `solve_poly` which computes the roots but...

Greatest common divisor

3

The `gcd` behaviour seems weird: ```julia @polyvar x gcd(2*x^2 + 4, 2*x) # Result: 4.0 gcd(2*x^2 + 2, x) # Result: 2.0 gcd(4*x^2 + 8*x + 4, 4 * x^2)...

Issue parsing floats

1

When setting a float value I'm getting the following error: ```julia julia> lisp"(def x 2.5)" ERROR: LoadError: Malformed def: Length of list must be == 3 Stacktrace: [1] error(::String) at...

Parsing escape sequences does not always work

1

The following piece of code currently produces the syntax tree below. Notice that the escape sequence for `\s` is just swallowed. I guess the solution is that the allowed characters...

Pkg.build("Singular") yields 'Permission denied'

4

When trying to install Singular.jl on Ubuntu 18.04, the installation of the dependency NTL failed. Here is the error message: ``` mkdir -p -m 755 /usr/local/include rm -rf /usr/local/include/NTL mkdir...

Ruby support

3

We want to add language support for Ruby. - [x] Install Ruby in Docker containers - [x] Introduce Ruby as a new language - [x] Register the Ruby language #327...

#### Goal Given an implementation and a test suite, and an additional failing test. Let the model modify the implementation such that all tests pass.

Deal with dependencies requested by LLMs

2

Assume an LLM responds with something like ```java package com.eval; import org.junit.jupiter.api.Test; import org.mockito.InMockito; import static org.junit.jupiter.api.Assertions.*; class PlainTest { @Test void testPlain() { InMockito.when(Plain::plain).thenReturn(null); Plain.plain(); InMockito.verify(Plain::plain); } } ```...