kalmarek

struct BacktrackSearch{V<:AbstractVector, VI<:AbstractVector, VS<:AbstractVector, O, A}
    nodes::V
    iterators::VI
    states::VS
    oracle_descend::O
    node_accept::A
end

"""
BacktrackSearch(iterators; oracle_descend, node_accept)

kalmarek

import Arblib: arb_struct, arf_struct, @libarb, ArbLike

struct arf_interval
    lo::arf_struct
    hi::arf_struct

    # function arf_interval()
    #     v = new()
    #     init!(v)
    #     finalizer(clear!, v)

kalmarek

module Monoids

using KnuthBendix
import KnuthBendix: Alphabet, AbstractWord, LenLex, alphabet

export Alphabet, FreeMonoid, gens

# this should go to KnuthBendix.jl
Base.convert(::Type{Word{I}}, v::AbstractVector{<:Integer}) where I = Word{I}(v)

kalmarek

struct Order{I} <: Integer
    val::I

    Order{I}(n::Integer) where I<:Integer = (n > 0 ? new{I}(n) : throw(DomainError(0, "invalid order")))
    Order{I}(::Val{Inf}) where I<:Integer = new{I}(0)
end

Order(n::I) where I<:Integer = Order{I}(n)
Order(v::Val{Inf}) = Order{Int}(v)

kalmarek

using Statistics
using Random
using LinearAlgebra

function Wstatistic(X, sw_coeffs)
    @boundscheck @assert length(X) == length(sw_coeffs)
    @assert issorted(X)
    @assert last(X) - first(X) > length(X) * eps(eltype(X)) "Data seems to be constant!"

    µ = mean(X)

kalmarek

using Groups
using KnuthBendix

import Groups: ϱ, λ

KnuthBendix.Word(A::Alphabet{T}, v::AbstractVector{T}) where {T} = Word([A[s] for s in v])
invof(A::Alphabet{T}, a::T) where {T} = A[-A[a]]
comm(A::Alphabet, x::S, y::S) where {S<:Groups.GSymbol} =
    Word([A[x], A[y], A[invof(A, x)], A[invof(A, y)]])

kalmarek

# using Pkg
# Pkg.activate(joinpath(@__DIR__, ".."))

using PropertyT
using PropertyT.GroupRings
using PropertyT.Groups
using PropertyT.AbstractAlgebra
using PropertyT.JuMP

using PropertyT.IntervalArithmetic

kalmarek

Already on 'stable-4.11'
Your branch is up to date with 'origin/stable-4.11'.
From https://github.com/gap-system/gap
 * branch                stable-4.11 -> FETCH_HEAD
Already up to date.
+ autoconf -Wall -f
+ autoheader -Wall -f
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking for gcc... gcc

kalmarek

#!/bin/bash
JULIA_HOME="/opt/julias/julia-1.6"
JULIA_LD_PATH="$JULIA_HOME/lib/julia"
BLASLDFLAGS="-L$JULIA_LD_PATH -lopenblas64_"
SCSFLAGS="USE_OPENMP=1 BLAS64=1 BLASSUFFIX=_64_"
make purge

make -j4 CFLAGS="-march=native" DLONG=1 ${SCSFLAGS} BLASLDFLAGS="${BLASLDFLAGS}" direct
make -j4 CFLAGS="-march=native" DLONG=1 ${SCSFLAGS} BLASLDFLAGS="${BLASLDFLAGS}" indirect

kalmarek