The newly merged branch contains some problems that need further improvements

[honglu2875]

small amount of duplicated codes in GameMorin

hironaka/hironaka/game.py

Line 116 in 6670d3c

class GameMorin(Game):

The efficiency of ZeillingerLex can be dramatically improved

hironaka/hironaka/host.py

Line 88 in 6670d3c

class ZeillingerLex(Zeillinger):

WeakSpivakovsky does not seem to have a proper test

hironaka/hironaka/host.py

Line 102 in 6670d3c

class WeakSpivakovsky(Host):

all README.md may need some updates.

—— low priority ——
AgentMorin only supports 1 single batch of input.
It might not be necessary to generalize to multiple batches at all. So I would say the priority of this one is pretty low.

hironaka/hironaka/agent.py

Line 60 in 6670d3c

class AgentMorin(Agent):

_thom_snippets.py might also need some further cleanup (e.g. my comments) and clarifications in docstring.

[honglu2875]

duplicated codes in GameMorin is solved in branch refine_host_and_agent