set6 0.1.8

• Patch for R-devel

set6 0.1.7

• Critical patch

set6 0.1.6

• Bugfix in set operation cleaner
• Bugfix causing Interval$contains to return TRUE for tuples
• Bugfix in union sets incorrectly unwrapping products
• Added variable length ExponentSets

set6 0.1.5

• Added LogicalSet, the set of \(\{TRUE, FALSE\}\)
• Added as.Set.numeric and as.Tuple.numeric

set6 0.1.4

• Speed performance improvements for $contains method for Interval and Set. Rcpp now used for Interval.
• Now for any Interval if not bounded above and upper is \(Inf\) then max = .Machine$double.xmax, analogously for lower.
• Default universe of Interval is now ExtendedReals
• Added default as.Set and as.Interval S3 methods

set6 0.1.3

• Added assertion for testing if a set is countably finite
• Slight speed improvements to operations - still require a lot of work
• Fixed bug in UnionSet cardinality calculation
• Fixed bug in UniversalSet countability

set6 0.1.2

Patches

• Updated documentation to be compatible with roxygen2
• Fixed bug in typed Complex sets
• Added universe assertion check to Set constructor
• Bug fix in setunion causing some intervals not to be combined correctly
• Interval$isSubset now compares sets using max and min instead of upper and lower
• Calculation of min and max in Interval now uses 1e-15 instead of .Machine$double.xmin
• $elements now always returns a list

Added classes, methods, and functions

• Add $add public method to sets, which mutates sets by adding given elements, and coercing to the typed-set class if appropriate
• Add $remove public method to sets, which mutates sets by removing given elements.
• Add assertion for checking if elements contained in a set, test/check/assertContains.
• Add assertion for checking if sets are subsets of another, test/check/assertSubset.

set6 0.1.1

Patches

• absComplement method is now deprecated, instead use setcomplement and omit the y argument
• Fixed error in contains default caused by %inset%
• Improved printing of SpecialSets when zero == TRUE
• Added UniversalSet for the set containing all elements
• Changed default universe of sets to UniversalSet
• Coercions now error instead of producing a message when they fail
• On construction, Sets no longer guess the set class, instead an extra class argument is added to give a set the typed property
• The internal Set structure is slightly changed so that set elements are now stored in lists by default, which is only changed if the set is typed
• Added element argument to Set constructor, which takes a list. This is more efficient if passing lists of lists or lists of multiple types, and in line with the FuzzySet constructor
• Improved printing of ConditionalSets
• Updated powerset to always return a Set of Sets (even if input is Tuple)
• Fixed bug in Properties causing an error if cardinality was too large
• Updated documentation
• Reduced Set constructor bottleneck by adding ‘typed’ sets
• Changed use_unicode default to l10n_info()$UTF-8

set6 0.1.0

• set6 upgrades the sets package to R6. Many forms of mathematical sets are implemented, including (countably finite) sets, tuples, intervals (countably infinite or uncountable), and fuzzy variants. Wrappers extend functionality by allowing symbolic representations of complex operations on sets, including unions, (cartesian) products, exponentiation, and differences (asymmetric and symmetric).
• See the website for more details and the project readme
• See getting started vignette for a short tutorial and introduction
• set6 is currently ‘maturing’, so whilst no major updates are planned they may happen. Constant minor updates should be expected.