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

kalmarek

kalmarek

module Groups

using AbstractAlgebra
const Group = AbstractAlgebra.Group
const GroupElement = AbstractAlgebra.GroupElem

export hasgens, hasorder, rand_pseudo,
    direct_product, semidirect_product,
    one!, conj, conj!, comm, comm!, div_left!, div_right!

kalmarek

using Test
using AbstractAlgebra

has_base_ring(R::AbstractAlgebra.NCRing) = base_ring(R) != Union{}

function AbstractAlgebra.promote_rule(::Type{S}, ::Type{T}) where {S <: Real, T <: Real}
    return Base.promote_rule(S, T)
end

function test_data_type(f,g)

kalmarek

/* file fsalib_wrapper.c  18/01/19
 *
 * This file is a wrapper for a shared and a static library. It provides
 * proper definitions used while linking a library.
 *
 */

#include "defs.h"
#include "../src/definitions.h"

kalmarek

----------------------------------------------------------------------------
        SCS v2.1.0 - Splitting Conic Solver
        (c) Brendan O'Donoghue, Stanford University, 2012-2018
----------------------------------------------------------------------------
Lin-sys: sparse-direct, nnz in A = 7232838
eps = 1.00e-10, alpha = 1.50, max_iters = 5000, normalize = 1, scale = 1.00
acceleration_lookback = 20, rho_x = 1.00e-03
Variables n = 13233, constraints m = 20463
Cones:  primal zero / dual free vars: 13621
        linear vars: 2

kalmarek

So here You are, our promises led you to a land flowing with julia and Polymake, and yet when You tried our new fancy stuff, instead of getting a new shiny result You slam into a warning, which reads

┌ Warning: The return value contains (pm::SomeType<pm::with::parameters>) which has not been wrapped yet
└ @ Polymake ~/.julia/dev/Polymake/src/functions.jl:75
(insert some string representation here)

In this document we will guide You what does this warning mean, how to make use of the retured object and how to become a Polymake.jl contributor who wrapped yet another small object from the polymake small objects zoo.

Do I really need to wrap the the thing?