A student performed a thorough review of the available algorithms in the literature and constructed several coding implementations that were shown to be far more effective than previous implementations known to the supervisor for the last decade. The fundamentals of these implementations, which already existed in the literature, were complemented with a major adaptation.
The supervisor used these implementations to perform a simulation that formed one piece of key evidence for the validity of his paper. The student was not in the author list, not in the acknowledgments section and his works are not cited. In fact, the vanilla algorithm presented in the draft was insufficient to perform the required calculations.
For the sake of posing a question, let's take these claims as true and ask: - How should the student approach this matter?