Skip to content
GitLab
Explore
Sign in
Open
0
Merged
6
Closed
0
All
6
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
fixes reordering of roots if change of variable order took place
!6
· created
May 04, 2021
by
Christian Eder
Merged
updated
May 04, 2021
bug fix (when ideal is <1>)
!5
· created
May 04, 2021
by
Mohab Safey El Din
Merged
updated
May 04, 2021
Bug fixes
!4
· created
May 04, 2021
by
Mohab Safey El Din
Merged
updated
May 04, 2021
fixes output of real roots when an intermediate change of variables has happened
!3
· created
Apr 21, 2021
by
Christian Eder
Merged
updated
Apr 21, 2021
Build fixes
!2
· created
Apr 21, 2021
by
Mohab Safey El Din
Merged
updated
Apr 21, 2021
Bug fix (exact real root extraction)
!1
· created
Apr 14, 2021
by
Mohab Safey El Din
Merged
updated
Apr 14, 2021