Skip to content

Add MathlingArtTest to run "art" library - #2748

Merged
ChristianGruen merged 3 commits into
BaseXdb:mainfrom
GuntherRademacher:mathling-art-test
Sep 2, 2026
Merged

Add MathlingArtTest to run "art" library#2748
ChristianGruen merged 3 commits into
BaseXdb:mainfrom
GuntherRademacher:mathling-art-test

Conversation

@GuntherRademacher

@GuntherRademacher GuntherRademacher commented Aug 31, 2026

Copy link
Copy Markdown
Member

This PR adds MathlingArtTest to basex-tests to exercise Mary Holstege's art library. It runs every main module (from examples and art's own tests) by invoking a @ParameterizedTest.

Renders a per-module compile/eval/total timing table (timing.xq). Applies a small set of source patches so the library runs on BaseX, and skips a few tests; every patch and skip carries a one-line rationale.

art.zip is not downloaded or checked in. The test is skipped unless environment variable MATHLING_ART points at a local copy. Artifacts land in target/mathling.

A new dependency commons-math3 is added to basex-tests - art's math/eigen.xqy binds to it via java:.

@GuntherRademacher
GuntherRademacher marked this pull request as draft September 1, 2026 13:17
@GuntherRademacher
GuntherRademacher marked this pull request as ready for review September 1, 2026 13:21
@ChristianGruen
ChristianGruen merged commit b017e30 into BaseXdb:main Sep 2, 2026
1 check failed
@ChristianGruen
ChristianGruen deleted the mathling-art-test branch September 2, 2026 16:58
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.

2 participants