* using log directory 'd:/RCompile/CRANincoming/R-devel/set6.Rcheck' * using R Under development (unstable) (2023-09-19 r85177 ucrt) * using platform: x86_64-w64-mingw32 * R was compiled by gcc.exe (GCC) 12.2.0 GNU Fortran (GCC) 12.2.0 * running under: Windows Server 2022 x64 (build 20348) * using session charset: UTF-8 * checking for file 'set6/DESCRIPTION' ... OK * this is package 'set6' version '0.2.5' * package encoding: UTF-8 * checking CRAN incoming feasibility ... NOTE Maintainer: 'Franz Kiraly ' New submission Package was archived on CRAN CRAN repository db overrides: X-CRAN-Comment: Archived on 2022-08-20 at the request of the maintainer. Found the following (possibly) invalid URLs: URL: https://cran.r-project.org/web/checks/check_results_set6.html From: README.md Status: 404 Message: Not Found URL: https://gitter.im/xoopR/set6 (moved to https://app.gitter.im/#/room/#xoopR_set6:gitter.im) From: README.md Status: 301 Message: Moved Permanently URL: https://opensource.org/licenses/MIT (moved to https://opensource.org/license/mit/) From: README.md Status: 301 Message: Moved Permanently For content that is 'Moved Permanently', please change http to https, add trailing slashes, or replace the old by the new URL. This build time stamp is over a month old. * checking package namespace information ... OK * checking package dependencies ... OK * checking if this is a source package ... OK * checking if there is a namespace ... OK * checking for hidden files and directories ... OK * checking for portable file names ... OK * checking serialization versions ... OK * checking whether package 'set6' can be installed ... OK * used C++ compiler: 'g++.exe (GCC) 12.2.0' * checking C++ specification ... NOTE Specified C++11: please drop specification unless essential * checking installed package size ... OK * checking package directory ... OK * checking for future file timestamps ... OK * checking 'build' directory ... OK * checking DESCRIPTION meta-information ... NOTE Author field differs from that derived from Authors@R Author: 'Raphael Sonabend [aut, cre] (), Franz Kiraly [aut, cre]' Authors@R: 'Raphael Sonabend [aut] (), Franz Kiraly [aut, cre]' * checking top-level files ... OK * checking for left-over files ... OK * checking index information ... OK * checking package subdirectories ... OK * checking R files for non-ASCII characters ... OK * checking R files for syntax errors ... OK * checking whether the package can be loaded ... OK * checking whether the package can be loaded with stated dependencies ... OK * checking whether the package can be unloaded cleanly ... OK * checking whether the namespace can be loaded with stated dependencies ... OK * checking whether the namespace can be unloaded cleanly ... OK * checking loading without being on the library search path ... OK * checking whether startup messages can be suppressed ... OK * checking use of S3 registration ... OK * checking dependencies in R code ... OK * checking S3 generic/method consistency ... OK * checking replacement functions ... OK * checking foreign function calls ... OK * checking R code for possible problems ... NOTE Found if() conditions comparing class() to string: File 'set6/R/Properties.R': if (class(self$cardinality) != "character") ... File 'set6/R/Set.R': if (class(self$elements) == "logical") ... File 'set6/R/SetWrapper_PowersetSet.R': if (class(cardinality) != "character") ... File 'set6/R/SetWrapper_UnionSet.R': if (class(lower) == "try-error") ... File 'set6/R/SetWrapper_UnionSet.R': if (class(upper) == "try-error") ... Use inherits() (or maybe is()) instead. * checking Rd files ... OK * checking Rd metadata ... OK * checking Rd line widths ... OK * checking Rd cross-references ... OK * checking for missing documentation entries ... OK * checking for code/documentation mismatches ... OK * checking Rd \usage sections ... OK * checking Rd contents ... OK * checking for unstated dependencies in examples ... OK * checking line endings in C/C++/Fortran sources/headers ... OK * checking pragmas in C/C++ headers and code ... OK * checking compilation flags used ... OK * checking compiled code ... OK * checking installed files from 'inst/doc' ... OK * checking files in 'vignettes' ... OK * checking examples ... OK * checking for unstated dependencies in 'tests' ... OK * checking tests ... [26s] OK Running 'testthat.R' [26s] * checking for unstated dependencies in vignettes ... OK * checking package vignettes in 'inst/doc' ... OK * checking re-building of vignette outputs ... OK * checking PDF version of manual ... [18s] OK * checking HTML version of manual ... [18s] NOTE Found the following HTML validation problems: ComplementSet.html:85:6 (ComplementSet.Rd:52): Warning: missing before

ComplementSet.html:85:79 (ComplementSet.Rd:52): Warning: inserting implicit ComplementSet.html:88:6 (ComplementSet.Rd:53): Warning: missing before

ComplementSet.html:88:88 (ComplementSet.Rd:53): Warning: inserting implicit ComplementSet.html:91:6 (ComplementSet.Rd:54): Warning: missing before

ComplementSet.html:91:81 (ComplementSet.Rd:54): Warning: inserting implicit ComplementSet.html:94:6 (ComplementSet.Rd:55): Warning: missing before

ComplementSet.html:94:82 (ComplementSet.Rd:55): Warning: inserting implicit ComplementSet.html:97:6 (ComplementSet.Rd:56): Warning: missing before

ComplementSet.html:97:83 (ComplementSet.Rd:56): Warning: inserting implicit ComplementSet.html:100:6 (ComplementSet.Rd:57): Warning: missing before

ComplementSet.html:100:89 (ComplementSet.Rd:57): Warning: inserting implicit ComplementSet.html:103:6 (ComplementSet.Rd:58): Warning: missing before

ComplementSet.html:103:91 (ComplementSet.Rd:58): Warning: inserting implicit Complex.html:78:6 (Complex.Rd:76): Warning: missing before

Complex.html:78:79 (Complex.Rd:76): Warning: inserting implicit Complex.html:81:6 (Complex.Rd:77): Warning: missing before

Complex.html:81:88 (Complex.Rd:77): Warning: inserting implicit Complex.html:84:6 (Complex.Rd:78): Warning: missing before

Complex.html:84:81 (Complex.Rd:78): Warning: inserting implicit Complex.html:87:6 (Complex.Rd:79): Warning: missing before

Complex.html:87:82 (Complex.Rd:79): Warning: inserting implicit Complex.html:90:6 (Complex.Rd:80): Warning: missing before

Complex.html:90:83 (Complex.Rd:80): Warning: inserting implicit ConditionalSet.html:91:6 (ConditionalSet.Rd:79): Warning: missing before

ConditionalSet.html:91:79 (ConditionalSet.Rd:79): Warning: inserting implicit ConditionalSet.html:94:6 (ConditionalSet.Rd:80): Warning: missing before

ConditionalSet.html:94:88 (ConditionalSet.Rd:80): Warning: inserting implicit ConditionalSet.html:97:6 (ConditionalSet.Rd:81): Warning: missing before

ConditionalSet.html:97:81 (ConditionalSet.Rd:81): Warning: inserting implicit ConditionalSet.html:100:6 (ConditionalSet.Rd:82): Warning: missing before

ConditionalSet.html:100:82 (ConditionalSet.Rd:82): Warning: inserting implicit ExponentSet.html:79:6 (ExponentSet.Rd:46): Warning: missing before

ExponentSet.html:79:79 (ExponentSet.Rd:46): Warning: inserting implicit ExponentSet.html:82:6 (ExponentSet.Rd:47): Warning: missing before

ExponentSet.html:82:88 (ExponentSet.Rd:47): Warning: inserting implicit ExponentSet.html:85:6 (ExponentSet.Rd:48): Warning: missing before

ExponentSet.html:85:81 (ExponentSet.Rd:48): Warning: inserting implicit ExponentSet.html:88:6 (ExponentSet.Rd:49): Warning: missing before

ExponentSet.html:88:82 (ExponentSet.Rd:49): Warning: inserting implicit ExponentSet.html:91:6 (ExponentSet.Rd:50): Warning: missing before

ExponentSet.html:91:83 (ExponentSet.Rd:50): Warning: inserting implicit ExponentSet.html:94:6 (ExponentSet.Rd:51): Warning: missing before

ExponentSet.html:94:89 (ExponentSet.Rd:51): Warning: inserting implicit ExponentSet.html:97:6 (ExponentSet.Rd:52): Warning: missing before

ExponentSet.html:97:91 (ExponentSet.Rd:52): Warning: inserting implicit ExtendedReals.html:59:6 (ExtendedReals.Rd:43): Warning: missing before

ExtendedReals.html:59:79 (ExtendedReals.Rd:43): Warning: inserting implicit ExtendedReals.html:62:6 (ExtendedReals.Rd:44): Warning: missing before

ExtendedReals.html:62:88 (ExtendedReals.Rd:44): Warning: inserting implicit ExtendedReals.html:65:6 (ExtendedReals.Rd:45): Warning: missing before

ExtendedReals.html:65:81 (ExtendedReals.Rd:45): Warning: inserting implicit ExtendedReals.html:68:6 (ExtendedReals.Rd:46): Warning: missing before

ExtendedReals.html:68:82 (ExtendedReals.Rd:46): Warning: inserting implicit ExtendedReals.html:71:6 (ExtendedReals.Rd:47): Warning: missing before

ExtendedReals.html:71:83 (ExtendedReals.Rd:47): Warning: inserting implicit ExtendedReals.html:74:6 (ExtendedReals.Rd:48): Warning: missing before

ExtendedReals.html:74:89 (ExtendedReals.Rd:48): Warning: inserting implicit ExtendedReals.html:77:6 (ExtendedReals.Rd:49): Warning: missing before

ExtendedReals.html:77:87 (ExtendedReals.Rd:49): Warning: inserting implicit ExtendedReals.html:80:6 (ExtendedReals.Rd:50): Warning: missing before

ExtendedReals.html:80:94 (ExtendedReals.Rd:50): Warning: inserting implicit ExtendedReals.html:83:6 (ExtendedReals.Rd:51): Warning: missing before

ExtendedReals.html:83:89 (ExtendedReals.Rd:51): Warning: inserting implicit ExtendedReals.html:86:6 (ExtendedReals.Rd:52): Warning: missing before

ExtendedReals.html:86:91 (ExtendedReals.Rd:52): Warning: inserting implicit FuzzyMultiset.html:70:6 (FuzzyMultiset.Rd:67): Warning: missing before

FuzzyMultiset.html:70:79 (FuzzyMultiset.Rd:67): Warning: inserting implicit FuzzyMultiset.html:73:6 (FuzzyMultiset.Rd:68): Warning: missing before

FuzzyMultiset.html:73:84 (FuzzyMultiset.Rd:68): Warning: inserting implicit FuzzyMultiset.html:76:6 (FuzzyMultiset.Rd:69): Warning: missing before

FuzzyMultiset.html:76:88 (FuzzyMultiset.Rd:69): Warning: inserting implicit FuzzyMultiset.html:79:6 (FuzzyMultiset.Rd:70): Warning: missing before

FuzzyMultiset.html:79:81 (FuzzyMultiset.Rd:70): Warning: inserting implicit FuzzyMultiset.html:82:6 (FuzzyMultiset.Rd:71): Warning: missing before

FuzzyMultiset.html:82:82 (FuzzyMultiset.Rd:71): Warning: inserting implicit FuzzyMultiset.html:85:6 (FuzzyMultiset.Rd:72): Warning: missing before

FuzzyMultiset.html:85:83 (FuzzyMultiset.Rd:72): Warning: inserting implicit FuzzyMultiset.html:88:6 (FuzzyMultiset.Rd:73): Warning: missing before

FuzzyMultiset.html:88:85 (FuzzyMultiset.Rd:73): Warning: inserting implicit FuzzyMultiset.html:91:6 (FuzzyMultiset.Rd:74): Warning: missing before

FuzzyMultiset.html:91:90 (FuzzyMultiset.Rd:74): Warning: inserting implicit FuzzyMultiset.html:94:6 (FuzzyMultiset.Rd:75): Warning: missing before

FuzzyMultiset.html:94:91 (FuzzyMultiset.Rd:75): Warning: inserting implicit FuzzyMultiset.html:97:6 (FuzzyMultiset.Rd:76): Warning: missing before

FuzzyMultiset.html:97:91 (FuzzyMultiset.Rd:76): Warning: inserting implicit FuzzyMultiset.html:100:6 (FuzzyMultiset.Rd:77): Warning: missing before

FuzzyMultiset.html:100:89 (FuzzyMultiset.Rd:77): Warning: inserting implicit FuzzyMultiset.html:103:6 (FuzzyMultiset.Rd:78): Warning: missing before

FuzzyMultiset.html:103:88 (FuzzyMultiset.Rd:78): Warning: inserting implicit FuzzySet.html:89:6 (FuzzySet.Rd:115): Warning: missing before

FuzzySet.html:89:79 (FuzzySet.Rd:115): Warning: inserting implicit FuzzySet.html:92:6 (FuzzySet.Rd:116): Warning: missing before

FuzzySet.html:92:84 (FuzzySet.Rd:116): Warning: inserting implicit FuzzySet.html:95:6 (FuzzySet.Rd:117): Warning: missing before

FuzzySet.html:95:88 (FuzzySet.Rd:117): Warning: inserting implicit FuzzySet.html:98:6 (FuzzySet.Rd:118): Warning: missing before

FuzzySet.html:98:81 (FuzzySet.Rd:118): Warning: inserting implicit FuzzySet.html:101:6 (FuzzySet.Rd:119): Warning: missing before

FuzzySet.html:101:82 (FuzzySet.Rd:119): Warning: inserting implicit FuzzySet.html:104:6 (FuzzySet.Rd:120): Warning: missing before

FuzzySet.html:104:83 (FuzzySet.Rd:120): Warning: inserting implicit FuzzyTuple.html:71:6 (FuzzyTuple.Rd:69): Warning: missing before

FuzzyTuple.html:71:79 (FuzzyTuple.Rd:69): Warning: inserting implicit FuzzyTuple.html:74:6 (FuzzyTuple.Rd:70): Warning: missing before

FuzzyTuple.html:74:84 (FuzzyTuple.Rd:70): Warning: inserting implicit FuzzyTuple.html:77:6 (FuzzyTuple.Rd:71): Warning: missing before

FuzzyTuple.html:77:88 (FuzzyTuple.Rd:71): Warning: inserting implicit FuzzyTuple.html:80:6 (FuzzyTuple.Rd:72): Warning: missing before

FuzzyTuple.html:80:81 (FuzzyTuple.Rd:72): Warning: inserting implicit FuzzyTuple.html:83:6 (FuzzyTuple.Rd:73): Warning: missing before

FuzzyTuple.html:83:82 (FuzzyTuple.Rd:73): Warning: inserting implicit FuzzyTuple.html:86:6 (FuzzyTuple.Rd:74): Warning: missing before

FuzzyTuple.html:86:83 (FuzzyTuple.Rd:74): Warning: inserting implicit FuzzyTuple.html:89:6 (FuzzyTuple.Rd:75): Warning: missing before

FuzzyTuple.html:89:85 (FuzzyTuple.Rd:75): Warning: inserting implicit FuzzyTuple.html:92:6 (FuzzyTuple.Rd:76): Warning: missing before

FuzzyTuple.html:92:90 (FuzzyTuple.Rd:76): Warning: inserting implicit FuzzyTuple.html:95:6 (FuzzyTuple.Rd:77): Warning: missing before

FuzzyTuple.html:95:91 (FuzzyTuple.Rd:77): Warning: inserting implicit FuzzyTuple.html:98:6 (FuzzyTuple.Rd:78): Warning: missing before

FuzzyTuple.html:98:91 (FuzzyTuple.Rd:78): Warning: inserting implicit FuzzyTuple.html:101:6 (FuzzyTuple.Rd:79): Warning: missing before

FuzzyTuple.html:101:89 (FuzzyTuple.Rd:79): Warning: inserting implicit FuzzyTuple.html:104:6 (FuzzyTuple.Rd:80): Warning: missing before

FuzzyTuple.html:104:88 (FuzzyTuple.Rd:80): Warning: inserting implicit Integers.html:56:6 (Integers.Rd:41): Warning: missing before

Integers.html:56:79 (Integers.Rd:41): Warning: inserting implicit Integers.html:59:6 (Integers.Rd:42): Warning: missing before

Integers.html:59:88 (Integers.Rd:42): Warning: inserting implicit Integers.html:62:6 (Integers.Rd:43): Warning: missing before

Integers.html:62:81 (Integers.Rd:43): Warning: inserting implicit Integers.html:65:6 (Integers.Rd:44): Warning: missing before

Integers.html:65:82 (Integers.Rd:44): Warning: inserting implicit Integers.html:68:6 (Integers.Rd:45): Warning: missing before

Integers.html:68:83 (Integers.Rd:45): Warning: inserting implicit Integers.html:71:6 (Integers.Rd:46): Warning: missing before

Integers.html:71:89 (Integers.Rd:46): Warning: inserting implicit Integers.html:74:6 (Integers.Rd:47): Warning: missing before

Integers.html:74:87 (Integers.Rd:47): Warning: inserting implicit Integers.html:77:6 (Integers.Rd:48): Warning: missing before

Integers.html:77:94 (Integers.Rd:48): Warning: inserting implicit Integers.html:80:6 (Integers.Rd:49): Warning: missing before

Integers.html:80:89 (Integers.Rd:49): Warning: inserting implicit Integers.html:83:6 (Integers.Rd:50): Warning: missing before

Integers.html:83:91 (Integers.Rd:50): Warning: inserting implicit Interval.html:91:6 (Interval.Rd:118): Warning: missing before

Interval.html:91:79 (Interval.Rd:118): Warning: inserting implicit Interval.html:94:6 (Interval.Rd:119): Warning: missing before

Interval.html:94:88 (Interval.Rd:119): Warning: inserting implicit Interval.html:97:6 (Interval.Rd:120): Warning: missing before

Interval.html:97:81 (Interval.Rd:120): Warning: inserting implicit Interval.html:100:6 (Interval.Rd:121): Warning: missing before

Interval.html:100:82 (Interval.Rd:121): Warning: inserting implicit Interval.html:103:6 (Interval.Rd:122): Warning: missing before

Interval.html:103:83 (Interval.Rd:122): Warning: inserting implicit LogicalSet.html:53:6 (LogicalSet.Rd:27): Warning: missing before

LogicalSet.html:53:79 (LogicalSet.Rd:27): Warning: inserting implicit LogicalSet.html:56:6 (LogicalSet.Rd:28): Warning: missing before

LogicalSet.html:56:84 (LogicalSet.Rd:28): Warning: inserting implicit LogicalSet.html:59:6 (LogicalSet.Rd:29): Warning: missing before

LogicalSet.html:59:82 (LogicalSet.Rd:29): Warning: inserting implicit LogicalSet.html:62:6 (LogicalSet.Rd:30): Warning: missing before

LogicalSet.html:62:84 (LogicalSet.Rd:30): Warning: inserting implicit LogicalSet.html:65:6 (LogicalSet.Rd:31): Warning: missing before

LogicalSet.html:65:88 (LogicalSet.Rd:31): Warning: inserting implicit LogicalSet.html:68:6 (LogicalSet.Rd:32): Warning: missing before

LogicalSet.html:68:81 (LogicalSet.Rd:32): Warning: inserting implicit LogicalSet.html:71:6 (LogicalSet.Rd:33): Warning: missing before

LogicalSet.html:71:82 (LogicalSet.Rd:33): Warning: inserting implicit LogicalSet.html:74:6 (LogicalSet.Rd:34): Warning: missing before

LogicalSet.html:74:84 (LogicalSet.Rd:34): Warning: inserting implicit LogicalSet.html:77:6 (LogicalSet.Rd:35): Warning: missing before

LogicalSet.html:77:83 (LogicalSet.Rd:35): Warning: inserting implicit Logicals.html:53:6 (Logicals.Rd:45): Warning: missing before

Logicals.html:53:79 (Logicals.Rd:45): Warning: inserting implicit Logicals.html:56:6 (Logicals.Rd:46): Warning: missing before

Logicals.html:56:84 (Logicals.Rd:46): Warning: inserting implicit Logicals.html:59:6 (Logicals.Rd:47): Warning: missing before

Logicals.html:59:82 (Logicals.Rd:47): Warning: inserting implicit Logicals.html:62:6 (Logicals.Rd:48): Warning: missing before

Logicals.html:62:84 (Logicals.Rd:48): Warning: inserting implicit Logicals.html:65:6 (Logicals.Rd:49): Warning: missing before

Logicals.html:65:88 (Logicals.Rd:49): Warning: inserting implicit Logicals.html:68:6 (Logicals.Rd:50): Warning: missing before

Logicals.html:68:81 (Logicals.Rd:50): Warning: inserting implicit Logicals.html:71:6 (Logicals.Rd:51): Warning: missing before

Logicals.html:71:82 (Logicals.Rd:51): Warning: inserting implicit Logicals.html:74:6 (Logicals.Rd:52): Warning: missing before

Logicals.html:74:84 (Logicals.Rd:52): Warning: inserting implicit Logicals.html:77:6 (Logicals.Rd:53): Warning: missing before

Logicals.html:77:83 (Logicals.Rd:53): Warning: inserting implicit Multiset.html:63:6 (Multiset.Rd:72): Warning: missing before

Multiset.html:63:79 (Multiset.Rd:72): Warning: inserting implicit Multiset.html:66:6 (Multiset.Rd:73): Warning: missing before

Multiset.html:66:84 (Multiset.Rd:73): Warning: inserting implicit Multiset.html:69:6 (Multiset.Rd:74): Warning: missing before

Multiset.html:69:86 (Multiset.Rd:74): Warning: inserting implicit Multiset.html:72:6 (Multiset.Rd:75): Warning: missing before

Multiset.html:72:88 (Multiset.Rd:75): Warning: inserting implicit Multiset.html:75:6 (Multiset.Rd:76): Warning: missing before

Multiset.html:75:81 (Multiset.Rd:76): Warning: inserting implicit Multiset.html:78:6 (Multiset.Rd:77): Warning: missing before

Multiset.html:78:82 (Multiset.Rd:77): Warning: inserting implicit Multiset.html:81:6 (Multiset.Rd:78): Warning: missing before

Multiset.html:81:84 (Multiset.Rd:78): Warning: inserting implicit Multiset.html:84:6 (Multiset.Rd:79): Warning: missing before

Multiset.html:84:83 (Multiset.Rd:79): Warning: inserting implicit Naturals.html:56:6 (Naturals.Rd:41): Warning: missing before

Naturals.html:56:79 (Naturals.Rd:41): Warning: inserting implicit Naturals.html:59:6 (Naturals.Rd:42): Warning: missing before

Naturals.html:59:88 (Naturals.Rd:42): Warning: inserting implicit Naturals.html:62:6 (Naturals.Rd:43): Warning: missing before

Naturals.html:62:81 (Naturals.Rd:43): Warning: inserting implicit Naturals.html:65:6 (Naturals.Rd:44): Warning: missing before

Naturals.html:65:82 (Naturals.Rd:44): Warning: inserting implicit Naturals.html:68:6 (Naturals.Rd:45): Warning: missing before

Naturals.html:68:83 (Naturals.Rd:45): Warning: inserting implicit Naturals.html:71:6 (Naturals.Rd:46): Warning: missing before

Naturals.html:71:89 (Naturals.Rd:46): Warning: inserting implicit Naturals.html:74:6 (Naturals.Rd:47): Warning: missing before

Naturals.html:74:87 (Naturals.Rd:47): Warning: inserting implicit Naturals.html:77:6 (Naturals.Rd:48): Warning: missing before

Naturals.html:77:94 (Naturals.Rd:48): Warning: inserting implicit Naturals.html:80:6 (Naturals.Rd:49): Warning: missing before

Naturals.html:80:89 (Naturals.Rd:49): Warning: inserting implicit Naturals.html:83:6 (Naturals.Rd:50): Warning: missing before

Naturals.html:83:91 (Naturals.Rd:50): Warning: inserting implicit NegIntegers.html:56:6 (NegIntegers.Rd:41): Warning: missing before

NegIntegers.html:56:79 (NegIntegers.Rd:41): Warning: inserting implicit NegIntegers.html:59:6 (NegIntegers.Rd:42): Warning: missing before

NegIntegers.html:59:88 (NegIntegers.Rd:42): Warning: inserting implicit NegIntegers.html:62:6 (NegIntegers.Rd:43): Warning: missing before

NegIntegers.html:62:81 (NegIntegers.Rd:43): Warning: inserting implicit NegIntegers.html:65:6 (NegIntegers.Rd:44): Warning: missing before

NegIntegers.html:65:82 (NegIntegers.Rd:44): Warning: inserting implicit NegIntegers.html:68:6 (NegIntegers.Rd:45): Warning: missing before

NegIntegers.html:68:83 (NegIntegers.Rd:45): Warning: inserting implicit NegIntegers.html:71:6 (NegIntegers.Rd:46): Warning: missing before

NegIntegers.html:71:89 (NegIntegers.Rd:46): Warning: inserting implicit NegIntegers.html:74:6 (NegIntegers.Rd:47): Warning: missing before

NegIntegers.html:74:87 (NegIntegers.Rd:47): Warning: inserting implicit NegIntegers.html:77:6 (NegIntegers.Rd:48): Warning: missing before

NegIntegers.html:77:94 (NegIntegers.Rd:48): Warning: inserting implicit NegIntegers.html:80:6 (NegIntegers.Rd:49): Warning: missing before

NegIntegers.html:80:89 (NegIntegers.Rd:49): Warning: inserting implicit NegIntegers.html:83:6 (NegIntegers.Rd:50): Warning: missing before

NegIntegers.html:83:91 (NegIntegers.Rd:50): Warning: inserting implicit NegRationals.html:67:6 (NegRationals.Rd:48): Warning: missing before

NegRationals.html:67:79 (NegRationals.Rd:48): Warning: inserting implicit NegRationals.html:70:6 (NegRationals.Rd:49): Warning: missing before

NegRationals.html:70:88 (NegRationals.Rd:49): Warning: inserting implicit NegRationals.html:73:6 (NegRationals.Rd:50): Warning: missing before

NegRationals.html:73:81 (NegRationals.Rd:50): Warning: inserting implicit NegRationals.html:76:6 (NegRationals.Rd:51): Warning: missing before

NegRationals.html:76:82 (NegRationals.Rd:51): Warning: inserting implicit NegRationals.html:79:6 (NegRationals.Rd:52): Warning: missing before

NegRationals.html:79:83 (NegRationals.Rd:52): Warning: inserting implicit NegRationals.html:82:6 (NegRationals.Rd:53): Warning: missing before

NegRationals.html:82:94 (NegRationals.Rd:53): Warning: inserting implicit NegRationals.html:85:6 (NegRationals.Rd:54): Warning: missing before

NegRationals.html:85:91 (NegRationals.Rd:54): Warning: inserting implicit NegRationals.html:88:6 (NegRationals.Rd:55): Warning: missing before

NegRationals.html:88:90 (NegRationals.Rd:55): Warning: inserting implicit NegRationals.html:91:6 (NegRationals.Rd:56): Warning: missing before

NegRationals.html:91:88 (NegRationals.Rd:56): Warning: inserting implicit NegRationals.html:94:6 (NegRationals.Rd:57): Warning: missing before

NegRationals.html:94:90 (NegRationals.Rd:57): Warning: inserting implicit NegReals.html:59:6 (NegReals.Rd:43): Warning: missing before

NegReals.html:59:79 (NegReals.Rd:43): Warning: inserting implicit NegReals.html:62:6 (NegReals.Rd:44): Warning: missing before

NegReals.html:62:88 (NegReals.Rd:44): Warning: inserting implicit NegReals.html:65:6 (NegReals.Rd:45): Warning: missing before

NegReals.html:65:81 (NegReals.Rd:45): Warning: inserting implicit NegReals.html:68:6 (NegReals.Rd:46): Warning: missing before

NegReals.html:68:82 (NegReals.Rd:46): Warning: inserting implicit NegReals.html:71:6 (NegReals.Rd:47): Warning: missing before

NegReals.html:71:83 (NegReals.Rd:47): Warning: inserting implicit NegReals.html:74:6 (NegReals.Rd:48): Warning: missing before

NegReals.html:74:89 (NegReals.Rd:48): Warning: inserting implicit NegReals.html:77:6 (NegReals.Rd:49): Warning: missing before

NegReals.html:77:87 (NegReals.Rd:49): Warning: inserting implicit NegReals.html:80:6 (NegReals.Rd:50): Warning: missing before

NegReals.html:80:94 (NegReals.Rd:50): Warning: inserting implicit NegReals.html:83:6 (NegReals.Rd:51): Warning: missing before

NegReals.html:83:89 (NegReals.Rd:51): Warning: inserting implicit NegReals.html:86:6 (NegReals.Rd:52): Warning: missing before

NegReals.html:86:91 (NegReals.Rd:52): Warning: inserting implicit PosIntegers.html:56:6 (PosIntegers.Rd:41): Warning: missing before

PosIntegers.html:56:79 (PosIntegers.Rd:41): Warning: inserting implicit PosIntegers.html:59:6 (PosIntegers.Rd:42): Warning: missing before

PosIntegers.html:59:88 (PosIntegers.Rd:42): Warning: inserting implicit PosIntegers.html:62:6 (PosIntegers.Rd:43): Warning: missing before

PosIntegers.html:62:81 (PosIntegers.Rd:43): Warning: inserting implicit PosIntegers.html:65:6 (PosIntegers.Rd:44): Warning: missing before

PosIntegers.html:65:82 (PosIntegers.Rd:44): Warning: inserting implicit PosIntegers.html:68:6 (PosIntegers.Rd:45): Warning: missing before

PosIntegers.html:68:83 (PosIntegers.Rd:45): Warning: inserting implicit PosIntegers.html:71:6 (PosIntegers.Rd:46): Warning: missing before

PosIntegers.html:71:89 (PosIntegers.Rd:46): Warning: inserting implicit PosIntegers.html:74:6 (PosIntegers.Rd:47): Warning: missing before

PosIntegers.html:74:87 (PosIntegers.Rd:47): Warning: inserting implicit PosIntegers.html:77:6 (PosIntegers.Rd:48): Warning: missing before

PosIntegers.html:77:94 (PosIntegers.Rd:48): Warning: inserting implicit PosIntegers.html:80:6 (PosIntegers.Rd:49): Warning: missing before

PosIntegers.html:80:89 (PosIntegers.Rd:49): Warning: inserting implicit PosIntegers.html:83:6 (PosIntegers.Rd:50): Warning: missing before

PosIntegers.html:83:91 (PosIntegers.Rd:50): Warning: inserting implicit PosNaturals.html:56:6 (PosNaturals.Rd:41): Warning: missing before

PosNaturals.html:56:79 (PosNaturals.Rd:41): Warning: inserting implicit PosNaturals.html:59:6 (PosNaturals.Rd:42): Warning: missing before

PosNaturals.html:59:88 (PosNaturals.Rd:42): Warning: inserting implicit PosNaturals.html:62:6 (PosNaturals.Rd:43): Warning: missing before

PosNaturals.html:62:81 (PosNaturals.Rd:43): Warning: inserting implicit PosNaturals.html:65:6 (PosNaturals.Rd:44): Warning: missing before

PosNaturals.html:65:82 (PosNaturals.Rd:44): Warning: inserting implicit PosNaturals.html:68:6 (PosNaturals.Rd:45): Warning: missing before

PosNaturals.html:68:83 (PosNaturals.Rd:45): Warning: inserting implicit PosNaturals.html:71:6 (PosNaturals.Rd:46): Warning: missing before

PosNaturals.html:71:89 (PosNaturals.Rd:46): Warning: inserting implicit PosNaturals.html:74:6 (PosNaturals.Rd:47): Warning: missing before

PosNaturals.html:74:87 (PosNaturals.Rd:47): Warning: inserting implicit PosNaturals.html:77:6 (PosNaturals.Rd:48): Warning: missing before

PosNaturals.html:77:94 (PosNaturals.Rd:48): Warning: inserting implicit PosNaturals.html:80:6 (PosNaturals.Rd:49): Warning: missing before

PosNaturals.html:80:89 (PosNaturals.Rd:49): Warning: inserting implicit PosNaturals.html:83:6 (PosNaturals.Rd:50): Warning: missing before

PosNaturals.html:83:91 (PosNaturals.Rd:50): Warning: inserting implicit PosRationals.html:67:6 (PosRationals.Rd:48): Warning: missing before

PosRationals.html:67:79 (PosRationals.Rd:48): Warning: inserting implicit PosRationals.html:70:6 (PosRationals.Rd:49): Warning: missing before

PosRationals.html:70:88 (PosRationals.Rd:49): Warning: inserting implicit PosRationals.html:73:6 (PosRationals.Rd:50): Warning: missing before

PosRationals.html:73:81 (PosRationals.Rd:50): Warning: inserting implicit PosRationals.html:76:6 (PosRationals.Rd:51): Warning: missing before

PosRationals.html:76:82 (PosRationals.Rd:51): Warning: inserting implicit PosRationals.html:79:6 (PosRationals.Rd:52): Warning: missing before

PosRationals.html:79:83 (PosRationals.Rd:52): Warning: inserting implicit PosRationals.html:82:6 (PosRationals.Rd:53): Warning: missing before

PosRationals.html:82:94 (PosRationals.Rd:53): Warning: inserting implicit PosRationals.html:85:6 (PosRationals.Rd:54): Warning: missing before

PosRationals.html:85:91 (PosRationals.Rd:54): Warning: inserting implicit PosRationals.html:88:6 (PosRationals.Rd:55): Warning: missing before

PosRationals.html:88:90 (PosRationals.Rd:55): Warning: inserting implicit PosRationals.html:91:6 (PosRationals.Rd:56): Warning: missing before

PosRationals.html:91:88 (PosRationals.Rd:56): Warning: inserting implicit PosRationals.html:94:6 (PosRationals.Rd:57): Warning: missing before

PosRationals.html:94:90 (PosRationals.Rd:57): Warning: inserting implicit PosReals.html:59:6 (PosReals.Rd:43): Warning: missing before

PosReals.html:59:79 (PosReals.Rd:43): Warning: inserting implicit PosReals.html:62:6 (PosReals.Rd:44): Warning: missing before

PosReals.html:62:88 (PosReals.Rd:44): Warning: inserting implicit PosReals.html:65:6 (PosReals.Rd:45): Warning: missing before

PosReals.html:65:81 (PosReals.Rd:45): Warning: inserting implicit PosReals.html:68:6 (PosReals.Rd:46): Warning: missing before

PosReals.html:68:82 (PosReals.Rd:46): Warning: inserting implicit PosReals.html:71:6 (PosReals.Rd:47): Warning: missing before

PosReals.html:71:83 (PosReals.Rd:47): Warning: inserting implicit PosReals.html:74:6 (PosReals.Rd:48): Warning: missing before

PosReals.html:74:89 (PosReals.Rd:48): Warning: inserting implicit PosReals.html:77:6 (PosReals.Rd:49): Warning: missing before

PosReals.html:77:87 (PosReals.Rd:49): Warning: inserting implicit PosReals.html:80:6 (PosReals.Rd:50): Warning: missing before

PosReals.html:80:94 (PosReals.Rd:50): Warning: inserting implicit PosReals.html:83:6 (PosReals.Rd:51): Warning: missing before

PosReals.html:83:89 (PosReals.Rd:51): Warning: inserting implicit PosReals.html:86:6 (PosReals.Rd:52): Warning: missing before

PosReals.html:86:91 (PosReals.Rd:52): Warning: inserting implicit PowersetSet.html:70:6 (PowersetSet.Rd:40): Warning: missing before

PowersetSet.html:70:79 (PowersetSet.Rd:40): Warning: inserting implicit PowersetSet.html:73:6 (PowersetSet.Rd:41): Warning: missing before

PowersetSet.html:73:88 (PowersetSet.Rd:41): Warning: inserting implicit PowersetSet.html:76:6 (PowersetSet.Rd:42): Warning: missing before

PowersetSet.html:76:81 (PowersetSet.Rd:42): Warning: inserting implicit PowersetSet.html:79:6 (PowersetSet.Rd:43): Warning: missing before

PowersetSet.html:79:82 (PowersetSet.Rd:43): Warning: inserting implicit PowersetSet.html:82:6 (PowersetSet.Rd:44): Warning: missing before

PowersetSet.html:82:83 (PowersetSet.Rd:44): Warning: inserting implicit PowersetSet.html:85:6 (PowersetSet.Rd:45): Warning: missing before

PowersetSet.html:85:89 (PowersetSet.Rd:45): Warning: inserting implicit ProductSet.html:79:6 (ProductSet.Rd:46): Warning: missing before

ProductSet.html:79:79 (ProductSet.Rd:46): Warning: inserting implicit ProductSet.html:82:6 (ProductSet.Rd:47): Warning: missing before

ProductSet.html:82:88 (ProductSet.Rd:47): Warning: inserting implicit ProductSet.html:85:6 (ProductSet.Rd:48): Warning: missing before

ProductSet.html:85:81 (ProductSet.Rd:48): Warning: inserting implicit ProductSet.html:88:6 (ProductSet.Rd:49): Warning: missing before

ProductSet.html:88:82 (ProductSet.Rd:49): Warning: inserting implicit ProductSet.html:91:6 (ProductSet.Rd:50): Warning: missing before

ProductSet.html:91:83 (ProductSet.Rd:50): Warning: inserting implicit ProductSet.html:94:6 (ProductSet.Rd:51): Warning: missing before

ProductSet.html:94:89 (ProductSet.Rd:51): Warning: inserting implicit ProductSet.html:97:6 (ProductSet.Rd:52): Warning: missing before

ProductSet.html:97:91 (ProductSet.Rd:52): Warning: inserting implicit Rationals.html:76:6 (Rationals.Rd:51): Warning: missing before

Rationals.html:76:79 (Rationals.Rd:51): Warning: inserting implicit Rationals.html:79:6 (Rationals.Rd:52): Warning: missing before

Rationals.html:79:88 (Rationals.Rd:52): Warning: inserting implicit Rationals.html:82:6 (Rationals.Rd:53): Warning: missing before

Rationals.html:82:81 (Rationals.Rd:53): Warning: inserting implicit Rationals.html:85:6 (Rationals.Rd:54): Warning: missing before

Rationals.html:85:82 (Rationals.Rd:54): Warning: inserting implicit Rationals.html:88:6 (Rationals.Rd:55): Warning: missing before

Rationals.html:88:83 (Rationals.Rd:55): Warning: inserting implicit Rationals.html:91:6 (Rationals.Rd:56): Warning: missing before

Rationals.html:91:94 (Rationals.Rd:56): Warning: inserting implicit Rationals.html:94:6 (Rationals.Rd:57): Warning: missing before

Rationals.html:94:91 (Rationals.Rd:57): Warning: inserting implicit Reals.html:59:6 (Reals.Rd:43): Warning: missing before

Reals.html:59:79 (Reals.Rd:43): Warning: inserting implicit Reals.html:62:6 (Reals.Rd:44): Warning: missing before

Reals.html:62:88 (Reals.Rd:44): Warning: inserting implicit Reals.html:65:6 (Reals.Rd:45): Warning: missing before

Reals.html:65:81 (Reals.Rd:45): Warning: inserting implicit Reals.html:68:6 (Reals.Rd:46): Warning: missing before

Reals.html:68:82 (Reals.Rd:46): Warning: inserting implicit Reals.html:71:6 (Reals.Rd:47): Warning: missing before

Reals.html:71:83 (Reals.Rd:47): Warning: inserting implicit Reals.html:74:6 (Reals.Rd:48): Warning: missing before

Reals.html:74:89 (Reals.Rd:48): Warning: inserting implicit Reals.html:77:6 (Reals.Rd:49): Warning: missing before

Reals.html:77:87 (Reals.Rd:49): Warning: inserting implicit Reals.html:80:6 (Reals.Rd:50): Warning: missing before

Reals.html:80:94 (Reals.Rd:50): Warning: inserting implicit Reals.html:83:6 (Reals.Rd:51): Warning: missing before

Reals.html:83:89 (Reals.Rd:51): Warning: inserting implicit Reals.html:86:6 (Reals.Rd:52): Warning: missing before

Reals.html:86:91 (Reals.Rd:52): Warning: inserting implicit SetWrapper.html:82:6 (SetWrapper.Rd:39): Warning: missing before

SetWrapper.html:82:79 (SetWrapper.Rd:39): Warning: inserting implicit SetWrapper.html:85:6 (SetWrapper.Rd:40): Warning: missing before

SetWrapper.html:85:84 (SetWrapper.Rd:40): Warning: inserting implicit SetWrapper.html:88:6 (SetWrapper.Rd:41): Warning: missing before

SetWrapper.html:88:88 (SetWrapper.Rd:41): Warning: inserting implicit SetWrapper.html:91:6 (SetWrapper.Rd:42): Warning: missing before

SetWrapper.html:91:81 (SetWrapper.Rd:42): Warning: inserting implicit SetWrapper.html:94:6 (SetWrapper.Rd:43): Warning: missing before

SetWrapper.html:94:82 (SetWrapper.Rd:43): Warning: inserting implicit SetWrapper.html:97:6 (SetWrapper.Rd:44): Warning: missing before

SetWrapper.html:97:84 (SetWrapper.Rd:44): Warning: inserting implicit SetWrapper.html:100:6 (SetWrapper.Rd:45): Warning: missing before

SetWrapper.html:100:83 (SetWrapper.Rd:45): Warning: inserting implicit SpecialSet.html:64:6 (SpecialSet.Rd:28): Warning: missing before

SpecialSet.html:64:79 (SpecialSet.Rd:28): Warning: inserting implicit SpecialSet.html:67:6 (SpecialSet.Rd:29): Warning: missing before

SpecialSet.html:67:88 (SpecialSet.Rd:29): Warning: inserting implicit SpecialSet.html:70:6 (SpecialSet.Rd:30): Warning: missing before

SpecialSet.html:70:81 (SpecialSet.Rd:30): Warning: inserting implicit SpecialSet.html:73:6 (SpecialSet.Rd:31): Warning: missing before

SpecialSet.html:73:82 (SpecialSet.Rd:31): Warning: inserting implicit SpecialSet.html:76:6 (SpecialSet.Rd:32): Warning: missing before

SpecialSet.html:76:83 (SpecialSet.Rd:32): Warning: inserting implicit SpecialSet.html:79:6 (SpecialSet.Rd:33): Warning: missing before

SpecialSet.html:79:89 (SpecialSet.Rd:33): Warning: inserting implicit SpecialSet.html:82:6 (SpecialSet.Rd:34): Warning: missing before

SpecialSet.html:82:87 (SpecialSet.Rd:34): Warning: inserting implicit SpecialSet.html:85:6 (SpecialSet.Rd:35): Warning: missing before

SpecialSet.html:85:94 (SpecialSet.Rd:35): Warning: inserting implicit SpecialSet.html:88:6 (SpecialSet.Rd:36): Warning: missing before

SpecialSet.html:88:89 (SpecialSet.Rd:36): Warning: inserting implicit Tuple.html:64:6 (Tuple.Rd:72): Warning: missing before

Tuple.html:64:79 (Tuple.Rd:72): Warning: inserting implicit Tuple.html:67:6 (Tuple.Rd:73): Warning: missing before

Tuple.html:67:84 (Tuple.Rd:73): Warning: inserting implicit Tuple.html:70:6 (Tuple.Rd:74): Warning: missing before

Tuple.html:70:86 (Tuple.Rd:74): Warning: inserting implicit Tuple.html:73:6 (Tuple.Rd:75): Warning: missing before

Tuple.html:73:88 (Tuple.Rd:75): Warning: inserting implicit Tuple.html:76:6 (Tuple.Rd:76): Warning: missing before

Tuple.html:76:81 (Tuple.Rd:76): Warning: inserting implicit Tuple.html:79:6 (Tuple.Rd:77): Warning: missing before

Tuple.html:79:82 (Tuple.Rd:77): Warning: inserting implicit Tuple.html:82:6 (Tuple.Rd:78): Warning: missing before

Tuple.html:82:84 (Tuple.Rd:78): Warning: inserting implicit Tuple.html:85:6 (Tuple.Rd:79): Warning: missing before

Tuple.html:85:83 (Tuple.Rd:79): Warning: inserting implicit UnionSet.html:81:6 (UnionSet.Rd:48): Warning: missing before

UnionSet.html:81:79 (UnionSet.Rd:48): Warning: inserting implicit UnionSet.html:84:6 (UnionSet.Rd:49): Warning: missing before

UnionSet.html:84:88 (UnionSet.Rd:49): Warning: inserting implicit UnionSet.html:87:6 (UnionSet.Rd:50): Warning: missing before

UnionSet.html:87:81 (UnionSet.Rd:50): Warning: inserting implicit UnionSet.html:90:6 (UnionSet.Rd:51): Warning: missing before

UnionSet.html:90:82 (UnionSet.Rd:51): Warning: inserting implicit UnionSet.html:93:6 (UnionSet.Rd:52): Warning: missing before

UnionSet.html:93:83 (UnionSet.Rd:52): Warning: inserting implicit UnionSet.html:96:6 (UnionSet.Rd:53): Warning: missing before

UnionSet.html:96:89 (UnionSet.Rd:53): Warning: inserting implicit UnionSet.html:99:6 (UnionSet.Rd:54): Warning: missing before

UnionSet.html:99:91 (UnionSet.Rd:54): Warning: inserting implicit Universal.html:92:6 (Universal.Rd:106): Warning: missing before

Universal.html:92:79 (Universal.Rd:106): Warning: inserting implicit Universal.html:95:6 (Universal.Rd:107): Warning: missing before

Universal.html:95:88 (Universal.Rd:107): Warning: inserting implicit Universal.html:98:6 (Universal.Rd:108): Warning: missing before

Universal.html:98:81 (Universal.Rd:108): Warning: inserting implicit Universal.html:101:6 (Universal.Rd:109): Warning: missing before

Universal.html:101:82 (Universal.Rd:109): Warning: inserting implicit Universal.html:104:6 (Universal.Rd:110): Warning: missing before

Universal.html:104:83 (Universal.Rd:110): Warning: inserting implicit UniversalSet.html:92:6 (UniversalSet.Rd:88): Warning: missing before

UniversalSet.html:92:79 (UniversalSet.Rd:88): Warning: inserting implicit UniversalSet.html:95:6 (UniversalSet.Rd:89): Warning: missing before

UniversalSet.html:95:88 (UniversalSet.Rd:89): Warning: inserting implicit UniversalSet.html:98:6 (UniversalSet.Rd:90): Warning: missing before

UniversalSet.html:98:81 (UniversalSet.Rd:90): Warning: inserting implicit UniversalSet.html:101:6 (UniversalSet.Rd:91): Warning: missing before

UniversalSet.html:101:82 (UniversalSet.Rd:91): Warning: inserting implicit UniversalSet.html:104:6 (UniversalSet.Rd:92): Warning: missing before

UniversalSet.html:104:83 (UniversalSet.Rd:92): Warning: inserting implicit * DONE Status: 5 NOTEs