Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Preparing release #145

Merged
merged 130 commits into from
Jun 6, 2024
Merged

Preparing release #145

merged 130 commits into from
Jun 6, 2024

Conversation

tomhanika
Copy link
Owner

No description provided.

hirthjo and others added 30 commits December 18, 2020 10:53
The fix for the :anonymous-burmeister write to file function caused
some context io tests to fail.  This commit removes the
:anonymous-burmeister format from the out-in and out-in-out-in tests.

The reasoning is as follows:

- Before fixing the io write function, the tests went through because
calling `count` on a context results in an
`UnsupportedOperationException` which is caught and accepted (other
formats throw this exception, namely :fcalgs, which only accepts
integral objects and attributes).

- Fixing the write part for the :anonymous-burmeister format meant
that the tests were actually running

- The out-in tests fail for the :anonymous-burmeister format basically
by design because the object and attribute labels are discarded on write

- The out-in-out-in tests usually fail too because the order of
objects and attributes is not guaranteed to be kept intact on
write. This is because `(seq (set (range N)))` is not guaranteed to be
the same as `(range N)`. Hence the context after importing is the same
context but possibly with shuffled objects and attributes, and thus
the equality check fails.
Previously there were no working tests for the :anonymous-burmeister
format.  Because this format drops object and attribute names when
writing a context to a file and there is no determinism in the order
of objects and attributes written to file, we can not test for
equality in out-in and out-in-out-in tests.  Therefore, we resort to
testing for possible isomorphy -- testing for true isomorphy is not
trivial and expensive to compute.
Fix critical bug in anonymous Burmeister context IO

The corresponding writer function actually never worked and has never been included in any tests.  Both has been fixed now.
Added Named Binary CSV Input and Doc
LaTeX Output for lattices supports valuation functions
jana-fischer and others added 29 commits July 17, 2023 07:54
conexp-clj tutorial for icfca 2023
* Read version from project.clj

* flake.lock: Update

Flake lock file updates:

• Updated input 'clj-nix':
    'github:jlesquembre/clj-nix/7d9e244ea96988524ba3bd6c2bbafdf0a5340b96' (2023-02-25)
  → 'github:jlesquembre/clj-nix/6a017fb2bc7b60c9e67b1c6f0b04bbefcf8dc698' (2023-07-19)
• Updated input 'clj-nix/devshell':
    'github:numtide/devshell/0ffc7937bb5e8141af03d462b468bd071eb18e1b' (2022-07-25)
  → 'github:numtide/devshell/3864857b2754ab0e16c7c7c626f0e5a1d4e42f38' (2023-06-28)
• Removed input 'clj-nix/devshell/flake-utils'
• Added input 'clj-nix/devshell/systems':
    'github:nix-systems/default/da67096a3b9bf56a91d16901293e51ba5b49a27e' (2023-04-09)
• Removed input 'clj-nix/flake-utils'
• Added input 'clj-nix/nix-fetcher-data':
    'github:jlesquembre/nix-fetcher-data/f14967db6c92c79b77419f52c22a698518c91120' (2023-05-31)
• Added input 'clj-nix/nix-fetcher-data/flake-part':
    'github:hercules-ci/flake-parts/6ef2707776c6379bc727faf3f83c0dd60b06e0c6' (2023-05-31)
• Added input 'clj-nix/nix-fetcher-data/flake-part/nixpkgs-lib':
    'github:NixOS/nixpkgs/da45bf6ec7bbcc5d1e14d3795c025199f28e0de0?dir=lib' (2023-04-30)
• Added input 'clj-nix/nix-fetcher-data/flake-parts':
    'github:hercules-ci/flake-parts/6ef2707776c6379bc727faf3f83c0dd60b06e0c6' (2023-05-31)
• Added input 'clj-nix/nix-fetcher-data/flake-parts/nixpkgs-lib':
    'github:NixOS/nixpkgs/da45bf6ec7bbcc5d1e14d3795c025199f28e0de0?dir=lib' (2023-04-30)
• Added input 'clj-nix/nix-fetcher-data/nixpkgs':
    follows 'clj-nix/nixpkgs'
• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/6b0edc9c690c1d8a729f055e0d73439045cfda55' (2023-05-30)
  → 'github:NixOS/nixpkgs/53657afe29748b3e462f1f892287b7e254c26d77' (2023-07-17)

* Clean up flake structure

* Add metadata to conexp-clj package

* Fix formatting

* Build package (and thus run tests) as flake check
Co-authored-by: tomhanika <tomhanika@users.noreply.github.com>
* Added Exploration Step Method

* Removed Print Function Calls.
* Implemented Metric Context Class and Related Functions.

* Refactoring and Documentation.

* Improved Implementation of Multi Arity Functions.

* Added Tests.

* Added Wrappers for Common Context Operations.

* Improved Confusion Matrix Functions.

* Update metric_contexts.clj

Added Methods for Generating Valuation Functions.

* Improved Implementation of Mewtric Functions.

* Fully Implemented Generation of Valueation Functions.

* Removed Testing Statements.

* Improved Implementation of Dual Metric Context.

* Fixed Implementation for Dual-Metric-Context and Added Option to generate Metric Contexts without Default Metrics.

* Added Example Context and Metric.

* Improved Implementation of Hamming Metrics.
* Added Analysis Namespace.

* Added to Analysis Namespace.

* Minor Edit to Documentation.

* Expanded Analysis Namespace.
* Restored Causal Implications Functionality

* Outsourced Functions to implications.clj

* Refactoring, Removed Test Data.

* Refactoring. Added Test File.

* Implemented Test for Causal Implications.

* Added Documentation for Causal Rule Discovery.

* Minor Documentation Fixes.

* Refactoring.

* Refactoring.
* 60% of relevant attributes implemented

* Necessary functions for relevant attributes implemented

* Fixed n-next functions, some typos

* Adatped methods in cover to new parameter list order in fast bitwise
@tomhanika tomhanika merged commit 09352f7 into master Jun 6, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

7 participants