<div dir="ltr"><div class="gmail_default" style="font-size:small">Hi,</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">Is it possible to modify the randomseed for the mplibcode environment in the user side? <br></div><div class="gmail_default" style="font-size:small">Thanks in advance.</div><div class="gmail_default" style="font-size:small"><br></div><div class="gmail_default" style="font-size:small">Regards,<br></div><div class="gmail_default" style="font-size:small"><br clear="all"></div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Maxime Chupin<br>Site personnel : <a href="http://fougeriens.org/~mc/" target="_blank">http://fougeriens.org/~mc/</a><br>Site professionnel : <a href="http://www.ceremade.dauphine.fr/~chupin/" target="_blank">https://www.ceremade.dauphine.fr/~chupin/</a><br></div><div>adresse libre : <a href="mailto:chupin@fougeriens.org" target="_blank">chupin@fougeriens.org</a></div></div></div></div></div></div>