Rubi support is not good

[asukaminato0721]

Describe the bug

it show the output messy.

To Reproduce

install the Rubi package https://rulebasedintegration.org/downloadRubi.html

<<Rubi`
Steps[Int[x^2,x]]

and

Steps[Int[2/(2 Sin[t] Cos[t] + 5 Cos[t]^2 + Sin[t]^2) ,t],RubiPrintInformation->False]

Expected behavior

https://rulebasedintegration.org/usingRubi.html

Screenshots

Desktop (please complete the following information):

• OS: linux
• Desktop App

[JerryI]

Actually it is not that complicated to rewrite boxes for it. The original code heavily relies on ItemBox, DynamicModule, which are not available for now in WLJS Notebook system (but may be in the future, nobody knows ;D ).

I just tried to put some random style and pane boxes on RubyRule and RubyResult, but what Dist, Subst mean... still a question. It must be some sort of rules from algebra used for demonstrating this or that strategy on taking those integrals

[JerryI]

Sorry, I am blind and did not find this on the main page

At least stats are working out of the box

[JerryI]

From now on I see two paths

a. pay enough attention on implementation of ItemBox, make it work without workarounds
b. add separate sub-package like Ruby`WLJSFormFixes, which will rewrite the implementations of StandardForm

and as a side branch

• allow Print function to output standard form as well

[JerryI]

A workaround solution

stripHoldBox[h_, f_] := With[{e = Extract[h, 1, HoldForm]},
  MakeBoxes[e, f]
]

fatArrow = HTMLView["<div style=\"align-items: center;height: 1rem;margin-top: -2rem;position: absolute;font-size: 1.5rem;top: 0;bottom: 0;\">&xrarr;</div>"];


RubiRule /: MakeBoxes[RubiRule[_, right_, left_, ___], f:StandardForm] := With[{fatArrow=fatArrow},
  BoxBox[RowBox[{stripHoldBox[right, f], " ", MakeBoxes[fatArrow, f], "    ", stripHoldBox[right, f]}], PaneBox[]]
]

RubiIntermediateResult /: MakeBoxes[RubiIntermediateResult[result_, u___], f:StandardForm] := With[{},
  BoxBox[stripHoldBox[result, f], PaneBox[]]
]

[JerryI]

Present state

Steps[Int[2/(2 Sin[t] Cos[t] + 5 Cos[t]^2 + Sin[t]^2) ,t],RubiPrintInformation->False]

Without RubiPrintInformation->False it will not work correctly. OpenerBox, ItemBox, DynamicModuleBox are not implemented, and it messes up a printed output.