rhizoome

{
 "metadata": {
  "name": "Token Size"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [
    {

rhizoome

$> mkdir test

$> cd test/

$> git init
Initialized empty Git repository in /home/ganwell/Repositories/test/.git/

$> git checkout -b stable
Switched to a new branch 'stable'

rhizoome

{
 "metadata": {
  "name": "freeze.dump"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [
    {

rhizoome

{
 "metadata": {
  "name": "Overhead"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [
    {

rhizoome

{
 "metadata": {
  "name": "",
  "signature": "sha256:9e533461c3971d0ca543d09b07e7430683b57758b8768a2c2718424791da3e54"
 },
 "nbformat": 3,
 "nbformat_minor": 0,
 "worksheets": [
  {
   "cells": [

rhizoome

import gc
import asyncio
import traceback
import inspect
loop = asyncio.get_event_loop()


class A(object):
    def __del__(self):
        print("Del A")

rhizoome

Host OS: 10.11.2 (15C50)
Host Hardware:
  MacBook Air (13-inch, Early 2015)
  2.2 GHz Intel Core i7
  8 GB 1600 MHz DDR3
  Intel HD Graphics 6000 1536 MB
Guest OS: Linux 3.19.0-43-generic #49-Ubuntu (15.04)
Guest Image: Ubuntu Vagrant Cloud Image
Task: Heavy Disk IO (Indexing Files)
Happend 3 times over 3 months

rhizoome

@st.composite
def provide_require_st(draw):
    commands = draw(range_intagers_st)
    provides = draw(
        st.lists(
            st.lists(range_intagers_st),
            min_size = commands,
            max_size = commands
        )
    )

rhizoome

"""Testing dependency graphs"""
import random
import pyDatalog.pyDatalog as pd

from hypothesis import strategies as st
from hypothesis import given

pd.create_terms('follows, is_root, is_command, requires, provides, X, '
                'Y, Z, N, order')

rhizoome

Here my first improvements:

    subset([], List2) <= (List2 == List2)
    subset(L1, L2) <= (
        (len_(L1) > 0) &
        (L1[0]._in(L2)) & # first element in L2
        subset(L1[1:], L2) # remainder is a subset of L2
    )
    
I still get DatalogError: Syntax error: Incorrect use of aggregation. And of course there has to be a more elegant way of saying True (List2 == List2).