scrapePolyhedra: Scrape polyhedra objects

In Rpolyhedra: Polyhedra Database

Scrape polyhedra objects

Description

Gets polyhedra objects from text files of different sources, scheduling and scraping using predefined configurations.

Usage

scrapePolyhedra(
  scrape.config,
  source.filenames = NULL,
  sources.config = getUserEnvir(".available.sources"),
  logger = lgr
)

Arguments

scrape.config	predefined configuration for scraping
source.filenames	if not null specify which source filenames to scrape
sources.config	the sources that will be used by the function
logger	logger for inheriting threshold from calling class/function

Value

polyhedra db object

Rpolyhedra documentation built on Oct. 31, 2024, 1:08 a.m.