wtsnjp / miogatto Goto Github PK
View Code? Open in Web Editor NEWAn annotation tool for grounding of formulae
License: MIT License
An annotation tool for grounding of formulae
License: MIT License
It does not occur every time, but sometimes...
These are a few small update requests for #59.
Paper ID: 1711.09576
when selecting different mathematical objects (such as 'q' and 's') in the 6th line of the second paragraph below, the appearance of the second paragraph changes.
what is more, after repeat selecting different objects for 10 times (like (select q -> reload -> ) select s, q, s, q, s, q ,s, q, s, q) , the page start moving when selecting different objects in the line.
currently, only the description of concept is popped up when mouse pointer is over the texts.
But, it would be more helpful if all the other information of concept (arity and args_type) are shown.
We need another mode for viewing and editing the math concept dictionaries. This should be served somewhere else from the index /
, e.g., /mcdict
.
Requested spec:
When using the option "Highlight only relevant SoGs", sometimes sogs are not highlighted even if the corresponding mi is selected.
This seems to happen when there is a overlap between sogs of different mis.
現在groundingを示す地の色について、ときどき見づらい色(黒っぽい、原色に近い)があり困っています。
この色を修正してほしいです。
色については、下記サイトの「パステルカラー」タブにあるものを使うとよいと思います。
https://www.colordic.org/p
Following is an example from 1605.02821
:
2003.10641
]
tools/preprocess.py
does not detect such errors resulting in incomplete img pathsIf you reprocess the source with the latest tools.preprocess
, it seems that unnecessary tailing space may be introduced, for example, in the span element of an email address.
python -m tools.preprocess 1609.06038.html
you will get the following diff (modified to mask personal information and emphasize the tailing space):
diff --git a/sources/1609.06038.html b/sources/1609.06038.html
index 0ff1c29..3d4d6f7 100644
--- a/sources/1609.06038.html
+++ b/sources/1609.06038.html
@@ -17,19 +17,19 @@
<span class="ltx_personname">
Firstname Lastname
<br class="ltx_break"/>University of ***
-<br class="ltx_break"/><span id="id1.1.id1" class="ltx_text ltx_font_typewriter">***@***</span>
+<br class="ltx_break"/>***@***␣
After choosing a concept, the current position of the page moves (to the first annotated position?).
Currently the "gd_word" class is not given to the texts (words) in \fbox, thus making it impossible to add them as sources of grounding.
Since the text spans in the \fbox possibly have "ltx_inline-block" class, the "gd_word" class can be given to those texts in the similar way to footnotes [source].
However, we have to be careful not to break the word IDs of previous annotations.
As for the paper (id: 1808.02342), the figures and the captions are not correctly aligned.
The order of the figures is not wrong, however, still there are the following problems:
In order to avoid messing up client/index.ts
, some parts of the codes can be moved to MioGattoServer
.
E.g., the table shown by edit_mcdict.ts
(cf. #67 ) can be created by the server.
Currently, some important data structures, e.g., lib.annotation.McDict and MiAnno, are not properly typed (e.g., their dictionary attributes).
When using the option "Highlight only relevant SoGs", not highlighted SoGs can be selected and deleted with the "Delete source" option.
Currently, users need to select data files via the command line options of the server. We might want to select or change the data files with the Web UI instead of the command line options.
While there is a button to move to edit_mcdict page from index page, there is no button to go back to index page from edit_mcdict page.
This feature may not be necessary because such transition can be realized by simply clicking the "back button" of the browser.
If there is no need to implement the feature, this issue can be closed.
We will add metadata to the annotation files (anno and mcdict) to identify the source HTML that served as input during the preprocess that generated them.
There are two possible policies:
The second method has the advantage that if the source HTML is the same, the metadata embedded will not change no matter how many times the preprocess is executed. However, there is a possibility of inconsistency if the preprocess logic changes. At the very least, when applying an operation that changes the structure of the source HTML (e.g., patch_source), a hash should be taken of the HTML content after the operation.
User input content like the descriptions of math concepts should be escaped at some point.
To make the codes simpler, the common parts, e.g., edit dialog, can be extracted to another file.
During description edit, arity can be set to non-integer value, which cause an internal server error like below:
ValueError: invalid literal for int() with base 10: '1.6'
MioGatto's current specification embeds important information in the filenames of source HTMLs and data files, and if the filename does not conform to these rules, it will not work properly. We are considering changing the specification so that important information, such as paper ID, is embedded in the file's content rather than in the filename, and the filename can be freely determined.
We are also considering changing the specification to specify the data file type with _anno
or _mcdict
. We do not rule out merging these files into a single file.
This issue is closely related to #74.
Currently, when the same text span is added as a source of grounding of different mathematical objects, the color representing the corresponding concepts are overpainted.
Thus, it is difficult to check if source of groundings.
only highlighting text spans corresponding to the selected mathematical object or concept.
When, scrolling the annotation candidates box, sometimes the whole page is scrolled instead of the candidates in the box.
Hello,
When I run the latexmlc
command described in the MioGatto README I get an error, regardless of the input file content.
This might be a question for https://github.com/brucemiller/LaTeXML but I think latexmlc
is operating correctly.
I have
latexmlc --VERSION
latexmlc (LaTeXML version 0.8.2)
I can create a file (the specific content does not matter)
echo "hello" > file.tex
This command completes successfully:
latexmlc --format=html5 --pmml --cmml --mathtex --nodefaultresources --dest=out.html file.tex
The expected out.html file is created by latexmlc
. That indicates latexmlc
is working.
However, when I run the command in the MioGatto README I get an error:
latexmlc --preload=[nobibtex,ids,mathlexemes,localrawstyles]latexml.sty --format=html5 --pmml --cmml --mathtex --nodefaultresources --dest=out.html file.tex
(Loading /usr/share/perl5/LaTeXML/Package/TeX.pool.ltxml...
(Loading /usr/share/perl5/LaTeXML/Package/eTeX.pool.ltxml... 0.01 sec)
(Loading /usr/share/perl5/LaTeXML/Package/pdfTeX.pool.ltxml... 0.01 sec) 0.22 sec)
(Loading /usr/share/perl5/LaTeXML/Package/latexml.sty.ltxml...
Error:undefined:\default@ds The token T_CS[\default@ds] is not defined.
/usr/share/perl5/LaTeXML/Package/latexml.sty.ltxml line 47
Defining it now as <ltx:ERROR/>
In Core::Stomach[@0x55e076033e50] /usr/share/perl5/LaTeXML/Package/latexml.sty.ltxml line 47
<= Core::Gullet[@0x55e076033568] <= Core::Stomach[@0x55e076033e50] <= Core::Gullet[@0x55e076033568] <= ...
0.02 sec)
Initialization complete: 1 error; 1 undefined macro[\default@ds]. Aborting.
(Loading /usr/share/perl5/LaTeXML/Package/TeX.pool.ltxml...
(Loading /usr/share/perl5/LaTeXML/Package/eTeX.pool.ltxml... 0.01 sec)
(Loading /usr/share/perl5/LaTeXML/Package/pdfTeX.pool.ltxml... 0.01 sec) 0.22 sec)
(Loading /usr/share/perl5/LaTeXML/Package/latexml.sty.ltxml...
Error:undefined:\default@ds The token T_CS[\default@ds] is not defined.
/usr/share/perl5/LaTeXML/Package/latexml.sty.ltxml line 47
Defining it now as <ltx:ERROR/>
In Core::Stomach[@0x55e0760306e8] /usr/share/perl5/LaTeXML/Package/latexml.sty.ltxml line 47
<= Core::Gullet[@0x55e076030508] <= Core::Stomach[@0x55e0760306e8] <= Core::Gullet[@0x55e076030508] <= ...
0.02 sec)
Initialization complete: 1 error; 1 undefined macro[\default@ds]. Aborting.
Initialization failed.
Error! Did not write file out.html
I looked at https://github.com/brucemiller/LaTeXML/blob/master/lib/LaTeXML/Package/latexml.sty.ltxml but don't understand the code well enough to understand the cause of this problem.
I suspect the cause is a missing .sty file? When I try just one input .sty I get "missing file" at the end
latexmlc --preload=nobibtexlatexml.sty --format=html5 --pmml --cmml --mathtex --nodefaultresources --dest=out.html file.tex
(Loading /usr/share/perl5/LaTeXML/Package/TeX.pool.ltxml...
(Loading /usr/share/perl5/LaTeXML/Package/eTeX.pool.ltxml... 0.01 sec)
(Loading /usr/share/perl5/LaTeXML/Package/pdfTeX.pool.ltxml... 0.01 sec) 0.22 sec)
Warning:missing_file:nobibtexlatexml Can't find package nobibtexlatexml
at Anonymous String; line 0 col 0
Anticipate undefined macros or environments
search paths are /scratch
latexmlc (LaTeXML version 0.8.2)
processing started Fri May 27 22:33:13 2022
(Digesting TeX file...
(Processing content /scratch/file.tex... 0.01 sec) 0.02 sec)
(Building...
(Loading compiled schema /usr/share/perl5/LaTeXML/resources/RelaxNG/LaTeXML.model... 0.02 sec). 0.07 sec)
(Rewriting... 0.00 sec)
(Finalizing... 0.00 sec)
Conversion complete: 1 warning; 1 missing file[nobibtexlatexml.sty].
(post-processing...
(Scan out.html processing... 0.00 sec)
(CrossRef out.html processing... 0.00 sec)
(XSLT[using LaTeXML-html5.xsl] out.html processing... 0.02 sec)
(Writer out.html processing... 0.01 sec) 0.03 sec)
Post-processing complete: No obvious problems
processing finished Fri May 27 22:33:13 2022
Status:conversion:1
1 warning; 1 missing file[nobibtexlatexml.sty]
No obvious problems
Wrote out.html
For the latexmlc
command in the MioGatto README, is there a nobibtexlatexml.sty
file being referenced?
I also found that DeclareOption('nobibtex', sub { AssignValue('NO_BIBTEX' => 1, 'global'); });
is in LaTeXML/lib/LaTeXML/Package/latexml.sty.ltxml
, so that means I'm not missing a .sty file.
If this question should be posted to https://github.com/brucemiller/LaTeXML I will do that.
Currently, it is impossible to add-source the texts in the foot note, even though "Add Source" pops up.
It would be helpful for selecting candidate concepts, especially in case shortened expression or partial application is used.
Basically, identifiers should consist of alphabets.
Currently, however, symbols like "#" are not explicitly filtered (or warned) in the preprocess; sometimes LaTeXML outputs such symbols as mis.
When selecting a text span from "right to left", an incorrect text span is added instead.
Paper ID: 1711.09576
Concern:
1107.4466
and 1905.11006
(following example is from 1905.11006
)\begin{algorithm}
\begin{algorithmic}
...
\end{algorithmic}
\end{algorithm}
Currently, there is no option/function for jumping back to the current selected mi.
The function is necessary for the following reasons:
Mis that look apparently the same might have different underlying identifiers, because identifiers are currently identified by their texts and their mathvariants.
There maybe some other possible fixes, but note that just modifying get_mi2idf is not enough because mis that used to have roman mathvariant may be assigned with inconsistent concept_ids.
This is somewhat related to #27. Add a new button to the sidebar that, when clicked, moves both the selection and focus to the next unannotated mi after the currently selected mi. The same goes for the back action.
Currently, when there are more than two figures in a figure environment, tools/preprocess.py
causes two problems.
The following example is from 2010.00710
:
embed_word_span_tags
[corresponding part of perprocess.py
] [corresponding part of the source html]preprocess.py
]not sure how to reproduce the phenomenon....
addしたnew conceptのdescriptionが編集できると作業しやすいので、機能追加していただけるとありがたいです。
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.