subformula

Create Subformulas of a Formula

v0.1.0 · Nov 15, 2019 · MIT + file LICENSE

Description

A formula 'sub' is a subformula of 'formula' if all the terms on the right hand side of 'sub' are terms of 'formula' and their left hand sides are identical. This package aids in the creation of subformulas.

Downloads

214

Last 30 days

21379th

554

Last 90 days

1.8K

Last year

Trend: +10.9% (30d vs prior 30d)

CRAN Check Status

3 NOTE

11 OK

Show all 14 flavors

Flavor	Status	Time
r-devel-linux-x86_64-debian-clang	OK	26.8s
r-devel-linux-x86_64-debian-gcc	OK	21.2s
r-devel-linux-x86_64-fedora-clang	OK	36.8s
r-devel-linux-x86_64-fedora-gcc	OK	46.8s
r-devel-macos-arm64	OK	14s
r-devel-windows-x86_64	OK	47s
r-oldrel-macos-arm64	NOTE
r-oldrel-macos-x86_64	NOTE	30s
r-oldrel-windows-x86_64	NOTE	55s
r-patched-linux-x86_64	OK	23.4s
r-release-linux-x86_64	OK	22.3s
r-release-macos-arm64	OK
r-release-macos-x86_64	OK	39s
r-release-windows-x86_64	OK	46s

Check details (3 non-OK)

NOTE r-oldrel-macos-arm64

LazyData

'LazyData' is specified without a 'data' directory

NOTE r-oldrel-macos-x86_64

LazyData

'LazyData' is specified without a 'data' directory

NOTE r-oldrel-windows-x86_64

LazyData

'LazyData' is specified without a 'data' directory

Check History

NOTE 11 OK · 3 NOTE · 0 WARNING · 0 ERROR · 0 FAILURE Mar 10, 2026

NOTE r-oldrel-macos-arm64

LazyData

'LazyData' is specified without a 'data' directory

NOTE r-oldrel-macos-x86_64

LazyData

'LazyData' is specified without a 'data' directory

NOTE r-oldrel-windows-x86_64

LazyData

'LazyData' is specified without a 'data' directory

Version History

new 0.1.0 Mar 10, 2026