Code

ISFA as a Service#13

Code

Open

ja-albert wants to merge 17 commits intoMathHubInfo:masterMathHubInfo/ISFA:masterfrom ja-albert:isfa-as-a-serviceja-albert/ISFA:isfa-as-a-serviceCopy head branch name to clipboard

+15,323-131,311

Commits

Commits on Jan 24, 2021

• updated build.sbt with lib changes of the last 5 years. DocumentParser.scala runs again. Currently working on making SageWrapper.scala+ GeneratingFunctionsSagePackage.scala run again

  GravityDrowned

  committed
  bdf8f76

  Copy full SHA for bdf8f76

• readme update

  GravityDrowned

  committed
  fb6f76c

  Copy full SHA for fb6f76c

• wrong IntelliJ Idea folder structure

  GravityDrowned

  committed
  e4ac9b4

  Copy full SHA for e4ac9b4

• together with my python socket the sage generation for all runs again

  GravityDrowned

  committed
  aa8d11d

  Copy full SHA for aa8d11d

Commits on Jan 25, 2021

• renamed new function for interacting with python sage socket

  GravityDrowned

  committed
  dbef35d

  Copy full SHA for dbef35d

Commits on Jan 27, 2021

• fiddling around with GeneratingFunctionSearch.scala and working through SageWrapper.scala (and trimming the duplicate code).

  GravityDrowned

  committed
  e9409ac

  Copy full SHA for e9409ac

• starting cleanup

  GravityDrowned

  committed
  d2daa52

  Copy full SHA for d2daa52

Commits on Jan 29, 2021

• worked on SageWrapper, so it sends all SageMath requests against the python tcp socket. Tried to understand how GeneratingFunctionSearch.scala works

  GravityDrowned

  committed
  df4813a

  Copy full SHA for df4813a

Commits on Mar 4, 2021

• experimenting with Parser, ISFA is finally generating GFs

  GravityDrowned

  committed
  4ef4cc0

  Copy full SHA for 4ef4cc0

Commits on Mar 15, 2021

• work on python parser

  GravityDrowned

  committed
  59467a3

  Copy full SHA for 59467a3

Commits on Apr 8, 2021

• further work on the parser, working omdoc extraction, small fixes for Expressions

  GravityDrowned

  committed
  7cb9086

  Copy full SHA for 7cb9086

• added new dummy omdoc file

  GravityDrowned

  committed
  fb87621

  Copy full SHA for fb87621

Commits on May 14, 2021

• this version of ISFA can run the third function again together with Michael Wagners Sage Math python server

  GravityDrowned

  committed
  f4c4f50

  Copy full SHA for f4c4f50

Commits on Nov 29, 2022

• Fix compile/run problems

  JakeOnestone

  committed
  6596427

  Copy full SHA for 6596427

• Update README with Usage section

  JakeOnestone

  committed
  db88e2e

  Copy full SHA for db88e2e

• Update gitignore

  JakeOnestone

  committed
  615f4de

  Copy full SHA for 615f4de

• First attempt: Using http4s as HTTP Server

  JakeOnestone

  committed
  23cbc64

  Copy full SHA for 23cbc64