Skip to content

Instantly share code, notes, and snippets.

View kacmoody.jl
# using Pkg
# Pkg.activate(joinpath(@__DIR__, ".."))
using PropertyT
using PropertyT.GroupRings
using PropertyT.Groups
using PropertyT.AbstractAlgebra
using PropertyT.JuMP
using PropertyT.IntervalArithmetic
@kalmarek
kalmarek / Polymake.jl-v0.3.0_release_notes.md
Last active Feb 20, 2020
Changelog for Polymake.jl-v0.3.0
View Polymake.jl-v0.3.0_release_notes.md

Polymake.jl-v0.3.0 release notes

Library updates

  • polymake binaries were updated to version 4.0r1 (released 19.02.2020)
  • Polymake.jl depends now on CxxWrap ^0.9.0 (released 29.01.2020)
  • polymake binaries link to SingularBuilder and FlintBuilder binaries.
  • Polymake.jl supports julia versions: 1.0, 1.1, 1.2, 1.3 and 1.4.

Breaking changes

@kalmarek
kalmarek / build.log
Created Jan 16, 2020
GAP.jl build.log
View build.log
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 / build_scs_for_julia.sh
Last active Jan 26, 2020
custom build of scs (SCS.jl)
View build_scs_for_julia.sh
#!/bin/bash
JULIA_HOME="/opt/julia-1.3.0"
BLASLDFLAGS="-L$JULIA_HOME/lib/julia -lopenblas64_"
SCSFLAGS="USE_OPENMP=1 BLAS64=1 BLASSUFFIX=_64_"
make purge
make -j4 CFLAGS="-march=native" DLONG=1 ${SCSFLAGS} BLASLDFLAGS="${BLASLDFLAGS}"
LD_LIBRARY_PATH=$JULIA_HOME/lib/julia:$LD_LIBRARY_PATH ./out/demo_socp_direct 1000 0.5 0.5 1
LD_LIBRARY_PATH=$JULIA_HOME/lib/julia:$LD_LIBRARY_PATH ./out/demo_socp_indirect 1000 0.5 0.5 1
@kalmarek
kalmarek / Positivity of Adj_n + kOp_n in ISL(n,Z).ipynb
Created Jul 4, 2019
Positivity of Adj_n + kOp_n in ISL(n,Z)
View Positivity of Adj_n + kOp_n in ISL(n,Z).ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View AAGroups.jl
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!
View ring_interface_conformance.jl
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)
View fsalib_wrapper.c
/* 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
kalmarek / wrapping_new_type.md
Created Nov 16, 2018
Wrapping a new type to Polymake.jl
View wrapping_new_type.md

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?

@kalmarek
kalmarek / Positivity of Adj_n + kOp_n in ISL(n,Z).ipynb
Last active Jul 5, 2019
Positivity of Adj_n + kOp_n in ISL(n,Z)
View Positivity of Adj_n + kOp_n in ISL(n,Z).ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
You can’t perform that action at this time.