Can I run this on a Mac with M-series chips?

Yes, the skill includes specific --platform linux/amd64 flags to ensure the container runs correctly on Apple Silicon.

How do I verify if the setup worked?

The skill provides a smoke test that loads the ReLie source and runs a small pipeline test using the heat equation to confirm the REPL is responsive.

Does this skill require Docker to be installed?

Yes, this skill relies on Docker to provide a consistent environment for the REDUCE engine. It includes checks to ensure the Docker daemon is running.

What is the purpose of the ReLie package?

ReLie is a specialized package for REDUCE designed to calculate Lie symmetries of systems of differential equations.

What is REDUCE in this context?

REDUCE is a general-purpose computer algebra system used for symbolic mathematical calculations, particularly useful in physics and engineering.

REDUCE & ReLie Basics

Name: REDUCE & ReLie Basics
Author: hinsley

byhinsley

•

データサイエンスとML

Bootstraps the REDUCE Computer Algebra System via Docker to perform Lie symmetry analysis on differential equations.

This skill automates the setup and verification of the REDUCE environment using Docker, specifically configured for the ReLie package. It handles the complexities of containerized execution, including volume mounting, platform-specific flags for Apple Silicon, and initial smoke tests to ensure the REPL and Lie symmetry pipelines are functioning correctly. It is an essential utility for researchers and developers working with the DiffSymAgent workflow who need a reproducible, containerized mathematical symbolic environment for solving differential equations.

主な機能

011 GitHub stars

02Automated loading of vendored ReLie source packages

03Automated Docker daemon verification and startup routines

04Canonical container execution with local repository mounting

05Cross-platform support optimized for Linux/amd64 and Apple Silicon

06Pre-configured smoke tests for heat equation symmetry analysis

ユースケース

01Setting up a mathematical symbolic environment without local software installation

02Verifying REDUCE and ReLie connectivity within an AI agent workflow

03Running Lie symmetry calculations for differential equations in a reproducible container

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add hinsley/diffsymagent reduce-relie-basics

For use in Claude.ai and ChatGPT

Download Skill