topology 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 7c25fec9db387d3d5dc8b098de24d8e426258de4
+  data.tar.gz: 23e7013a2523638fbe065ffcaf86614e98acff74
+SHA512:
+  metadata.gz: f42eba565b1f0cd415c55a779c58cbb567c665389a7ebd29c63755cf5a3f8adbd7f6dd8a3af126798fc74f70b59aa85cd6c5f2073202ccf74416197e5f63edc4
+  data.tar.gz: dd46a88b6665e6cbf02870c1bec4342f9f6a0ab57825cf0acad26fe137e8d3b56599ee7d72653a3635d56451026aca27f0014ce8b46ecbd194664c75ead69da6

data/.gitignore

@@ -0,0 +1,14 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+*.bundle
+*.so
+*.o
+*.a
+mkmf.log

data/.travis.yml

@@ -0,0 +1,3 @@
+language: ruby
+rvm:
+  - 2.1.2

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+
+gem 'pry'
+gemspec

data/LICENSE.txt

@@ -0,0 +1,22 @@
+Copyright (c) 2015 gogotanaka
+
+MIT License
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,33 @@
+# Topology
+
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'topology'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install Topology
+
+## Usage
+
+```ruby
+Topology.new Set[Set[1], Set[2]]
+=> #<Topology:0x007f8074132c60 @sos=#<Set: {#<Set: {1}>, #<Set: {2}>, #<Set: {1, 2}>, #<Set: {}>}>>
+```
+
+## Contributing
+
+1. Fork it ( https://github.com/[my-github-username]/Topology/fork )
+2. Create your feature branch (`git checkout -b my-new-feature`)
+3. Commit your changes (`git commit -am 'Add some feature'`)
+4. Push to the branch (`git push origin my-new-feature`)
+5. Create a new Pull Request

data/Rakefile

@@ -0,0 +1,9 @@
+require "bundler/gem_tasks"
+require "rake/testtask"
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+end
+
+task :default => :test
+

data/Topology.gemspec

@@ -0,0 +1,23 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+
+Gem::Specification.new do |spec|
+  spec.name          = "topology"
+  spec.version       = "0.0.1"
+  spec.authors       = ["gogotanaka"]
+  spec.email         = ["mail@tanakakazuki.com"]
+  spec.summary       = %q{topology.}
+  spec.description   = %q{topology.}
+  spec.homepage      = ""
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0")
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.7"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "minitest"
+end

data/lib/Topology.rb

@@ -0,0 +1,72 @@
+require "pry"
+require "set"
+class Topology
+  attr_accessor :sos # Set of set
+
+  def initialize(set)
+    fail "sould be set of set" unless set.sos?
+    @sos = if set.top? set.flatten #TODO: set of set of set
+      set.flatten
+    else
+      set << set.flatten
+      set2 = set.dup
+      set3 = set.dup
+      set.each do |e|
+        set2.delete(e)
+        set2.each { |f| set3 << (e & f)  }
+      end
+      set3
+    end
+  end
+
+  def top?(x)
+    @sos.top?(x)
+  end
+end
+
+class TopologySpace < Struct.new(:set, :top)
+end
+
+class Object
+  def set?
+    is_a?(Set)
+  end
+end
+
+class Set
+  def power
+    (0 .. 2 ** length - 1).map { |n|
+      select.with_index { |_, i| (n >> i) & 1 == 1 }.to_set
+    }.to_set
+  end
+
+  def sos?
+    all?(&:set?)
+  end
+
+  def top?(x)
+    sos? && subset?(x.power) && axiom1? && axiom2? && axiom3?(x)
+  end
+
+  def axiom1?
+    sos2 = dup
+    all? do |e|
+      sos2.delete(e)
+      sos2.all? { |f| _?(e | f)  }
+    end
+  end
+
+  def axiom2?
+    sos2 = dup
+    all? do |e|
+      sos2.delete(e)
+      sos2.all? { |f| _?(e & f)  }
+    end
+  end
+
+  def axiom3?(x)
+    _?(Set[]) && _?(x)
+  end
+
+  alias :_? :include?
+end

data/test/minitest_helper.rb

@@ -0,0 +1,4 @@
+$LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
+require 'topology'
+
+require 'minitest/autorun'

data/test/test_Topology.rb

@@ -0,0 +1,30 @@
+require 'minitest_helper'
+
+class TestTopology < MiniTest::Unit::TestCase
+  def setup
+    @s2 = Set[1, 2]
+    @s3 = Set[1, 2, 3]
+    @top2 = @s2.power
+    @top  = Topology.new Set[Set[2], Set[1]]
+  end
+
+  def test_power
+    assert_equal(@s2.power, Set[Set[], Set[1], Set[2], Set[1, 2]])
+    assert_equal(
+      @s3.power,
+      Set[Set[], Set[1], Set[2], Set[3], Set[1, 2], Set[2, 3], Set[3, 1], Set[1, 2, 3]]
+    )
+  end
+
+  def test_sos?
+    assert @s2.power.sos?
+  end
+
+  def test_top?
+    assert @top2.axiom1?
+    assert @top2.axiom2?
+    assert @top2.axiom3?(@s2)
+    assert @top2.top? @s2
+    assert @top.top? Set[1,2]
+  end
+end

metadata

@@ -0,0 +1,98 @@
+--- !ruby/object:Gem::Specification
+name: topology
+version: !ruby/object:Gem::Version
+  version: 0.0.1
+platform: ruby
+authors:
+- gogotanaka
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2015-01-13 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: topology.
+email:
+- mail@tanakakazuki.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".travis.yml"
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- Topology.gemspec
+- lib/Topology.rb
+- test/minitest_helper.rb
+- test/test_Topology.rb
+homepage: ''
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.2.2
+signing_key: 
+specification_version: 4
+summary: topology.
+test_files:
+- test/minitest_helper.rb
+- test/test_Topology.rb