(self)
| 126 | self.cmd_type = "PAPER-edit" |
| 127 | |
| 128 | def docstring(self) -> str: |
| 129 | return ( |
| 130 | "============= PAPER EDITING TOOL =============\n" |
| 131 | "You also have access to a paper editing tool. \n" |
| 132 | "This tool allows you to replace lines indexed n through m (n:m) of the current latex with as many lines of new latex as you want to add. This removal is inclusive meaning that line n and m and everything between n and m is removed. This will be the primary way that you interact with latex. \n" |
| 133 | "You can edit latex using the following command: ```EDIT N M\n<new lines to replace old lines>\n``` EDIT is the word EDIT, N is the first line index you want to replace and M the last line index you want to replace (everything inbetween will also be removed), and <new lines to replace old lines> will be the new latex that is replacing the old latex. Before changing the existing latex to be your new latex, your new latex will be tested and if it returns an error it will not replace the existing latex. Your changes should significantly change the latex. You should write new paragraphs and update old ones. Try using the edit command often. Make sure to generate lots of text. You should also avoid editing lines 0 0, and should edit the main text of the paragraphs, such as editing lines in the middle of the text body." |
| 134 | ) |
| 135 | |
| 136 | def execute_command(self, *args) -> str: |
| 137 | # args[0] -> N (int) |
nothing calls this directly
no outgoing calls
no test coverage detected