Penronse environment construction [Windows]

Purpose

I wanted to use Penronse, a drawing software that creates figures from mathematical formulas. Refer to the article below and try to build an environment where Penronse can be used on Windows 10. Does this software name refer to Mr. Penrose, who won the Nobel Prize?

Article: You can generate charts from mathematical formulas! Try Penrose (SIGGRAPH 2020)

1. Environment construction

This section describes how to build a Penrose environment for Windows 10.

1.1 Docker This section describes how to build a Docker environment. Since WSL was old as WSL1, update to WSL2 [1]. Update the previously installed Ubuntu-18.04 settings on Windows 10 from WSL1 to WSL2.

$ wsl set-version Ubuntu-18.04 2

After updating the WSL settings, build the Docker environment. First, install Docker Hub. If you do not change the BIOS settings, an error will occur in Docker Hub, so change the settings. Enable "Intel VT-x" and "Intel Virtualization Technology" in the BIOS [[2]](https://algorithm.joho.info/programming/docker-for-windows-hardware-assisted-virtualization-and- data-execution-protection-must-be-enabled-in-the-bios /). This completes the Docker environment construction.

1.2 Penrose This section describes the environment construction of Penrose. We will build a Penrose environment on the Ubuntu-18.04 terminal set as WSL2. When I try to build a Penrose environment, npm installation fails. If you install npm with apt-get obediently, it will fail, so install npm using apptitude [3].

$ sudo apt-get install aptitude
$ sudo aptitude install npm
$ which npm

Download and set up the Penrose container. I get a warning on npm but ignore it (help me ...). At this point, the environment has been set up so that it can be executed with the same commands as the original article.

$ docker pull vanessa/penrose
$ cd penrose
$ make recreate-dev
$ make dev-build

2. How to operate

This section describes how Penrose works. Run the Penrose container in the Ubuntu-18.04 terminal configured with WSL2.

$ make start-dev

You can visualize the result by executing the command below.

$ make penrose set-theory-domain/tree.sub set-theory-domain/venn.sty set-theory-domain/setTheory.dsl
#Http from browser://localhost:Access 3500

a.png

3. Summary

I was able to run Penronse on Windows 10. We plan to summarize how to use Penronse based on the sample code.

Recommended Posts

Penronse environment construction [Windows]
[Windows] WSL2 + Ubuntu + Node.js environment construction
Troublesome Rails environment construction flow [Windows 10]
[Java] Environment construction
Java environment construction
[Spring] Environment construction
Docker environment construction
[Environment construction] Eclipse installation
[Flutter] Ubuntu 20.04 environment construction
Rails Docker environment construction
[Personal memo] Ruby on Rails environment construction (Windows)
Circle CI environment construction
java development environment construction
Windows10 + WSL2 + DockerDesktop + docker-compose + GPU (Nvidia) + Jupyterlab environment construction
Rails6 development environment construction [Mac]
[Spring Boot] Environment construction (macOS)
Rails engineer environment construction ruby2.7.1
EC-CUBE4 environment construction (local edition)
I tried node-jt400 (Environment construction)
Rails environment construction Rails5.2.1 ruby2.5.1 Catalina
MySQL 5.7 (Docker) environment construction memo
Introduction to Metabase ~ Environment Construction ~
JavaFX environment construction in Java 13
Redmine (Docker) environment construction memo
[Docker] Rails 5.2 environment construction with docker
AtCoder Challenge Environment Construction (Java 8)
Offline environment construction Ruby edition
Docker × Spring Boot environment construction
[Super easy] Ruby environment construction
[Rails / MySQL] Mac environment construction
Ruby ① Build a Windows environment
[Docker] postgres, pgadmin4 environment construction
Laravel environment construction (Ubuntu 18.04 LTS)
React environment construction with Docker
Offline environment construction CentOS edition
Windows10 Eclipse environment construction & what are you doing Fukahori August 2020
Rails + MySQL environment construction with Docker
Node.js environment construction with Docker Compose
◆ Spring Boot + gradle environment construction memo
Environment construction for Servlet application development
Environment construction with Docker for beginners
Create RUNTEQ's environment with Windows DockerDesktop
Ruby environment construction summary ~ mac version ~
Laravel + Docker Laradock usage environment construction
[Unity] Android development environment construction procedure
Make a language! (JavaCC environment construction)
Ruby on Rails 6.0 environment construction memo
Java environment variable settings (Windows, AdoptOpenJDK11)
Rails on Docker environment construction procedure
[Environment construction with Docker] Rails 6 & MySQL 8
CentOS8 + Anaconda 4.9.2 + jupyterhub environment construction procedure
[Java & SpringBoot] Environment Construction for Mac
[Environment construction] Uninstall rails from local
[Rails] AWS EC2 instance environment construction
Java runtime environment construction method (Tomcat @ Linux)
SQL statement learning ~ Environment construction ~ Docker + MySQL
CentOS8 + Anaconda + Django development environment construction procedure
GPU environment construction with Docker [October 2020 version]
[Processing x Java] Construction of development environment
Rails environment construction with Docker (personal apocalypse)
Spring Boot environment construction memo on mac